Benjamin Peterson <benjamin at python.org> added the comment: seems like a good patch. Can you submit a PR? ---------- nosy: +benjamin.peterson _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue37965> _______________________________________