On 03.07.2012 21:38, Barry Warsaw wrote: > On Jul 02, 2012, at 05:57 PM, martin at v.loewis.de wrote: > >> code.python.org was meant as a VCS-independent hostname for CPython; >> PEP 385 chose to use hg.python.org instead. >> >> I'd like to delete code.python.org. Objections? > > None from me. It's gone! Martin