Bug#1085718: bugs.debian.org: The PET service has been discontinued, pseudopackage is still available

[Gioele Barabucci]

Package: bugs.debian.org
Severity: minor

The pet.debian.net service has been replaced with distro-tracker and 
discontinued.

The associated pseudopackage in BTS [2] can now be removed.

[1] https://wiki.debian.org/Services/PET
[2] https://bugs.debian.org/pet.debian.net

Regards,

--
Gioele Barabucci