![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
26 Apr
2016
26 Apr
'16
2:44 p.m.
Martin Panter added the comment: I committed my simpler patch. I hope that is okay :) ---------- resolution: -> fixed status: open -> closed _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue20598> _______________________________________