Łukasz Langa added the comment: Oh, my bad. Yeah, that sounds like a worthwhile change. ---------- resolution: not a bug -> status: closed -> open _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue20120> _______________________________________