◐ Shell
clean mode source ↗

Message 132644 - Python tracker

I opened #11727 for the patch on regrtest.py. All buildbots look happy (no more failure on test_faulthandler), so let's close this issue.