[Python-Dev] PEP index out of date, and work-around
Guido van Rossum
guido at python.org
Tue May 1 19:17:25 CEST 2007
There seems to be an issue with the PEP index:
http://python.org/dev/peps/ lists PEP 3122 as the last PEP (not
counting PEP 3141 which is deliberately out of sequence). As a
work-around, an up to date index is here:
PEPs 3123-3128 are alive and well and reachable via this index.
One of the webmasters will look into this tonight.
--Guido van Rossum (home page: http://www.python.org/~guido/)
More information about the Python-Dev