Skip to content

ignore KeyboardInterrupts

Harald Sitter requested to merge work/ignore-keyboardinterrupt into master

not sure why they would happen but someone managed to 🤷

Merge request reports