![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
Oct. 2, 2015
9:52 a.m.
Guido van Rossum added the comment: Patch looks good. ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue16802> _______________________________________