Guido van Rossum <guido at python.org> added the comment: @Dennis, if/when the PR looks good to you, you can merge it. ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue47067> _______________________________________