Stefan Krah <stefan at bytereef.org> added the comment: I can't figure out how to make the damn button green on GitHub, so LGTM. :) ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue31792> _______________________________________