Am 30.07.2012 12:21, schrieb Andrew Svetlov: > 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? Sure, go ahead. Nobody (I hope) said that every tiny bugfix needs my approval. Georg