Martin Panter added the comment: I think Serhiy just fixed this in revision ed2420379b8d, so it should be okay now. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19771> _______________________________________