[Paul Wise] > The httpredir.debian.org domain is obsolete, I suggest replacing it > with https://deb.debian.org/debian or even better detecting the user's > chosen mirror and using that instead of forcing a specific mirror.
Thank you for the reminder. Strange no-one decided to redirect httpredir to deb.debian.org if the former is obsolete and the latter is current... Anyway, I've commited the new name to the master branch and will include it in the next upload. I am unsure how to reliably detect the current Debian mirror, in the precense of local APT sources, TOR addresses etc, so I did not try that approach. -- Vennlig hilsen Petter Reinholdtsen
