v8.2.4730
e08fde00 · patch 8.2.4730: MS-Windows GUI: cannot use CTRL-/ ·