[python-committers] PEPs repo converted

[Georg Brandl]

Please commit any PEP changes to hg.python.org/peps.

Also, sorry for the span on -checkins, I should not have enabled
the notification hook before pushing all changes :)

Georg