mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-02-10 06:29:00 +01:00
c567248b73
values uses a case insensitive comparison, so erasing the equivalent key in keys_order also must do so.