Issue #11393: _Py_DumpTraceback() writes the header even if there is no frame
2 files changed