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

Reply via email to