On Fri, 22 Nov 2013 18:35:20 +0100 (CET) barry.warsaw <python-check...@python.org> wrote: > http://hg.python.org/peps/rev/706fe4b8b148 > changeset: 5315:706fe4b8b148 > user: Barry Warsaw <ba...@python.org> > date: Fri Nov 22 12:35:10 2013 -0500 > summary: > 3156 has also been committed.
The reason I haven't set "final" here is that AFAIK, Guido still has to check the PEP conforms to the implementation. I don't know if that warrants a different label. Regards Antoine. _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
