Bug#431800: retitle 431800 to [rmadison]: please add debian-ports.org support

Source: devscripts Source-Version: 2.23.0 Done: Benjamin Drung On Thu, 02 Feb 2023 16:30:24 +0800 Paul Wise wrote: > This will be fixed in the devscripts 2.22.3 release. This upload happened but the bug didn't get closed. -- bye, pabs https://wiki.debian.org/PaulWise signature.asc

Bug#431800: retitle 431800 to [rmadison]: please add debian-ports.org support

Control: tags -1 + pending patch Control: forwarded -1  https://salsa.debian.org/debian/devscripts/commit/0058f956a29b33c327286fa202adff859a65b537 On Sun, 12 Jun 2016 12:19:03 +0800 Paul Wise wrote: > Control: retitle -1 rmadison: please add Debian unofficial ports support > > On Tue, 24 Aug

Bug#431800: retitle 431800 to [rmadison]: please add debian-ports.org support

Control: retitle -1 rmadison: please add Debian unofficial ports support On Tue, 24 Aug 2010 20:33:01 +0100 Hector Oron wrote: > retitle 431800 [rmadison]: please add debian-ports.org support debian-ports.org no longer exists as it was integrated into Debian under ports.debian.org, retitling