v8.2.1752
daff0fb7 · patch 8.2.1752: GTK GUI: cannot map alt-? with <A-?> ·