Guido van Rossum <gvanrossum at gmail.com> added the comment: Can you submit a PR that fixes it? ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue43955> _______________________________________