[pydotorg-www] [python-committers] Deleting code.python.org

[Victor Stinner]

2012/7/2  <martin at v.loewis.de>:
> 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?

I never used or heard about this domain. Is it referenced somewhere?

Victor