Pushed. Thank you. On Mon, Jul 30, 2012 at 7:19 PM, Georg Brandl <g.bra...@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@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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
