Issue #11393: Fix faulthandler.disable() and add a test
2 files changed