![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
18 Dec
2015
18 Dec
'15
12:26 a.m.
Yury Selivanov added the comment: Ah, I see that issue25580_2.diff does exactly what I proposed. I'm committing it. ---------- keywords: +easy _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue25580> _______________________________________