Pushed. Thank you. On Mon, Jul 30, 2012 at 7:19 PM, Georg Brandl <g.brandl at gmx.net> wrote: > 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 >> _______________________________________________ > Python-Dev mailing list > Python-Dev at python.org > http://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: http://mail.python.org/mailman/options/python-dev/andrew.svetlov%40gmail.com -- Thanks, Andrew Svetlov