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

Re-init _Py_UnhandledKeyboardInterrupt before run.

8cbcc92
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs