1676 case insensitive mappings#1682

Merged

alex-courtis merged 2 commits intomasterfrom

1676-case-insensitive-mappings

Oct 24, 2022

Commits on Oct 24, 2022

fix(#1676): remove_keymaps matches case insensitively
alex-courtis
committed
fix(#1676): mappings.list.n.key matches case insensitively for overrides
alex-courtis
committed