Skip to content

bpo-1054041: Re-init _Py_UnhandledKeyboardInterrupt before run.#11963

Merged
gpshead merged 1 commit into
python:masterfrom
gpshead:sigint_exit_odd_case_fixup
Feb 21, 2019
Merged

bpo-1054041: Re-init _Py_UnhandledKeyboardInterrupt before run.#11963
gpshead merged 1 commit into
python:masterfrom
gpshead:sigint_exit_odd_case_fixup

Commits

Commits on Feb 21, 2019