Control: tags -1 moreinfo Hi Adrian, On Sat, 03 Jun 2017 17:14:18 +0300 Adrian Bunk <bunk@debian.org> wrote: > "4.3.1. Adding APT Internet sources" is using mirrors > instead of deb.debian.org which should be used by default > (see section 2.2.5.). Do we recommend using deb.debian.org as the default in /etc/apt/sources.list (I think so)? If so, is that documented somewhere? I think people that upgrade may have older entries and I think we should suggest them to migrate, no? Where to find an authoritative answer? Paul
Attachment:
signature.asc
Description: OpenPGP digital signature