April 2, 2016
11:29 p.m.
Martin Panter added the comment: That’s good news. I did not expect it, but I seem to have fixed the problem anyway. ---------- resolution: -> fixed stage: -> resolved status: open -> closed _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue26678> _______________________________________