10 Jun
2016
10 Jun
'16
12:45 a.m.
Martin Panter added the comment: Thanks for the patch Tommy. I think we can close this now. ---------- resolution: -> fixed stage: commit review -> resolved status: open -> closed _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue15476> _______________________________________