v9.0.0120
6b568b1c · patch 9.0.0120: MS-Windows GUI: cannot use AltGr + Space ·