Thanks. For the record, the existing bug report
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750522 is about maintaining a list of valid HTTPS mirrors. --Martin
Thanks. For the record, the existing bug report
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750522 is about maintaining a list of valid HTTPS mirrors. --Martin