v8.2.1335
4e1d8bd7 · patch 8.2.1335: CTRL-C in the GUI doesn't interrupt ·