Guido van Rossum <guido at python.org> added the comment: Do you recommend to just close this as "fixed"? ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue44642> _______________________________________