[Python-Dev] PEP index out of date, and work-around (original) (raw)
Guido van Rossum guido at python.org
Tue May 1 19:17:25 CEST 2007
- Previous message: [Python-Dev] New operations in Decimal
- Next message: [Python-Dev] New operations in Decimal
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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:
http://python.org/dev/peps/pep-0000/
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/)
- Previous message: [Python-Dev] New operations in Decimal
- Next message: [Python-Dev] New operations in Decimal
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]