[Python-Dev] Pushing issue #12288

[Andrew Svetlov]

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