On Fri, 22 Nov 2013 18:35:20 +0100 (CET) barry.warsaw <python-checkins@python.org> wrote:

http://hg.python.org/peps/rev/706fe4b8b148 changeset: 5315:706fe4b8b148 user: Barry Warsaw <barry@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.