bpo-1054041: Exit properly after an uncaught ^C.#11862
Merged
Merged
Commits
Commits on Feb 15, 2019
Commits on Feb 16, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![blurb-it[bot]](https://avatars.githubusercontent.com/u/1525981?v=4&size=32){kind=avatar}