Michael Haubenwallner added the comment: Erm, question target was the python committers. And I'd create the new issue if they prefer. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18235> _______________________________________