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

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#162744: www.debian.org: please add ports.debian.org
From: Guido Guenther <agx@debian.org>
Date: Sun, 29 Sep 2002 12:53:56 +0200
Message-id: <[🔎] 20020929105356.GA12925@bogon.ms20.nix>
Reply-to: Guido Guenther <agx@debian.org>, 162744@bugs.debian.org

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

Reply to:

Follow-Ups:
- Bug#162744: marked as done (www.debian.org: please add ports.debian.org)
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: (no subject)
Next by Date: Re: howto install
Previous by thread: (no subject)
Next by thread: Bug#162744: marked as done (www.debian.org: please add ports.debian.org)
Index(es):
- Date
- Thread