mint <36459316+mintsuki@users.noreply.github.com> — 2021-07-08 15:46
parents: 8636aa2f13 2fcabe8dfe
Merge pull request #92 from ArsenArsen/trunk
readline: exclude the non-ctrl case from checks
no textual diff.