v8.2.5157
4e0fc895 · patch 8.2.5157: MS-Windows GUI: CTRL-key combinations do not always work ·