But why isn't it visible on python.org/dev/peps/ yet?
Because the build process of the PEPs broke when hg.python.org became its own system.I'll try to look into that tomorrow, since unfortunately nobody else volunteered
to fix it. Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
