Bug#162744: www.debian.org: please add ports.debian.org

[Guido Guenther]

Package: www.debian.org
Version: N/A; reported 2002-09-29
Severity: wishlist

Hi,
it would be nice to have http://ports.debian.org/ point to the ports
pages: http://www.debian.org/ports/.
Regards,
 -- Guido