Bug#796367: PTS: "ports" link no longer needed

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#796367: PTS: "ports" link no longer needed
From: Jakub Wilk <jwilk@debian.org>
Date: Fri, 21 Aug 2015 16:36:14 +0200
Message-id: <[🔎] 20150821143614.GA2761@jwilk.net>
Reply-to: Jakub Wilk <jwilk@debian.org>, 796367@bugs.debian.org

Package: qa.debian.org
User: qa.debian.org@packages.debian.org
Usertags: pts

buildd.debian-ports.org has been merged into buildd.debian.org, so the"ports" link is no longer needed.


--
Jakub Wilk

Reply to:

Follow-Ups:
- Bug#796367: marked as done (PTS: "ports" link no longer needed)
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Processed (with 2 errors): Re: Bug#796293: insufficient/confusing documentation for pgpsigurlmangle
Next by Date: Bug#796369: PTS: HTTPS for lintian.debian.org
Previous by thread: Processed (with 2 errors): Re: Bug#796293: insufficient/confusing documentation for pgpsigurlmangle
Next by thread: Bug#796367: marked as done (PTS: "ports" link no longer needed)
Index(es):
- Date
- Thread