On Fri, 08 Jun 2018, AS44574 Hostmaster wrote: > Due to the way our mirror box is setup, such a change is not easy and may > cause other issues. > > It might be worth changing the wording at https://www.debian.org/mirror/submit
Done, thanks. > https://www.debian.org/mirror/ftpmirror also makes the comment that it is > recommended but not compulsory. > > As users are likely to get the list via apt feeds, it should largely be a > non-issue, no? Users usually change mirrors by editing their sources.list file. Thus, just having to change only the hostname is a clear win. Cheers, -- | .''`. ** Debian ** Peter Palfrader | : :' : The universal https://www.palfrader.org/ | `. `' Operating System | `- https://www.debian.org/
