Is there ok to push http://bugs.python.org/issue12288 in 3.3? It looks very easy and straightforward. If now is too alte — I'm ok. Georg Brandl, what's your decision? -- Thanks, Andrew Svetlov