Richard Oudkerk added the comment: > Richard - are you in a position to commit / push? Done. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17619> _______________________________________