[Python-Dev] Pushing issue #12288 (original) (raw)

Andrew Svetlov andrew.svetlov at gmail.com
Mon Jul 30 19:08:14 CEST 2012


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



More information about the Python-Dev mailing list