v8.2.1809
4e2114e9 · patch 8.2.1809: mapping some keys with Ctrl does not work properly ·