On 09/09/19 14:40, Bjørn Mork wrote:
Ondřej Surý <ond...@sury.org> writes:Otherwise it doesn’t make any sense to remove external links to logos and JavaScript from the documentation and then send everything to one single US-based provider.Exactly. I'd be worried if anything in Debian came preconfigured with DNS servers of any kind.
It apparently already does, although they appear to be used only under certain circumstances. See https://bugs.debian.org/761658
Roger