Kamil Koczurek c9f9078726
Fix while ctrlc behavior (#7195)
Currently while didn't respect ctrl-c, and thus non-terminating loops
couldn't be interrupted. This patch fixes this.
2022-11-22 15:47:12 +01:00
..
2022-04-20 08:50:14 -05:00
2022-11-22 15:47:12 +01:00
2022-11-21 17:04:36 +01:00