URL PR 11862
Status merged
Title bpo-1054041: Exit properly after an uncaught ^C.
History
Date User Action Args
2019-02-16 20:57:41gregory.p.smithsetstatus: open -> merged
2019-02-16 00:56:46gregory.p.smithsettitle: bpo-1054041: Exit properly by a signal after a ^C. -> bpo-1054041: Exit properly after an uncaught ^C.
2019-02-15 07:52:17gregory.p.smithlinkissue1054041 pull_requests
2019-02-15 07:52:17gregory.p.smithcreate