➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL PR 11963
Status merged
Title bpo-1054041: Re-init _Py_UnhandledKeyboardInterrupt before run.
History
Date User Action Args
2019-02-21 01:35:56gregory.p.smithsetstatus: open -> merged
2019-02-21 00:33:04gregory.p.smithlinkissue1054041 pull_requests
2019-02-21 00:33:04gregory.p.smithcreate