Closed matusf closed 4 years ago
Fixes #73
Thanks for the PR, @matusf! I'm not sure about the string to be printed, though. Instead of "Abort!", how about "Operation canceled." or something like that?
Fixes #73