Skip to content

More information and care on KeyboardInterrupt#1239

Merged
rolandwalker merged 1 commit intomainfrom
RW/more-informative-query-cancel-keyboard-interrupt
Jul 4, 2025
Merged

More information and care on KeyboardInterrupt#1239
rolandwalker merged 1 commit intomainfrom
RW/more-informative-query-cancel-keyboard-interrupt

Commits

Commits on Jun 7, 2025