On Tue, Jan 15, 2008 at 02:43:51AM +0100, Frank Benksten wrote: > attached patch fixes two issues in the current PEP feed that is > available at http://www.python.org/dev/peps/peps.rss: Applied; thank you! The changes will show up the next time the website pages get rebuilt, which will probably occur within a day or so. --amk