Re: [Python-Dev] Pushing issue #12288

2012-07-30 Thread Andrew Svetlov
Pushed. Thank you. On Mon, Jul 30, 2012 at 7:19 PM, Georg Brandl 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 decisi

Re: [Python-Dev] Pushing issue #12288

2012-07-30 Thread Georg Brandl
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 appro

[Python-Dev] Pushing issue #12288

2012-07-30 Thread 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? -- Thanks, Andrew Svetlov ___ Python-Dev mailing list Python-Dev@python.org http://ma