On Fri, Dec 18, 2020 at 19:05, Jonas Smedegaard <d...@jones.dk> wrote:
Sounds like a change specific to backports, not for official Debian.
Backports is official debian, it is backports.debian.org and not backports.debian.net. Though if you don't care about making it harder than necessary for people maintaining backports, that is your choice. But that does not make it unofficial. And this is not exactly team maintenance either.
