[Python-Dev] Pushing issue #12288

Georg Brandl g.brandl at gmx.net
Mon Jul 30 18:19:44 CEST 2012

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.


More information about the Python-Dev mailing list