v8.1.0158
1ebff3dc · patch 8.1.0158: GUI: input() fails if CTRL-C was pressed before ·