[issue14215] http://www.python.org/dev/peps/ title is python.org

[Georg Brandl]

Georg Brandl added the comment:

Fixed with commit 11779150cf87 in the peps repo.  May need a PEP addition or PEP title change to trigger, but it's too minor to force that right now.

----------
nosy: +georg.brandl
resolution:  -> fixed
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue14215>
_______________________________________