Bug#907704: choose-mirror: default to deb.debian.org

2018-09-13 Thread Peter Palfrader
On Mon, 10 Sep 2018, Philipp Kern wrote: > What's mirroradm's take on this? Well, (with my hat on, ) my take on this is that a) all (3rd party) http mirrors are potentially bad and can go out of date and become unmaintained and users may never notice. b) deb.debian.org aims to be a reasonab

Bug#908789: console-setup: Doesn't boot up with my large font specified in /etc/default/console-setup

2018-09-13 Thread David Lawyer
Package: console-setup Version: 1.185 Severity: important Dear Maintainer, I copied linux from a 20-yr old disk to a brand new one 100 times as large in GB. But what I copied is only 2-3 years old so I updated it using aptitude and have several problems, one of which I'll describe here. The old

Bug#908711: pkgsel does not install updates with ABI changes (by default)

2018-09-13 Thread Sven Joachim
On 2018-09-12 23:34 +0100, Ben Hutchings wrote: > Package: pkgsel > Version: 0.45 > Tags: security > Severity: important > > Security updates (and point releases) may include ABI bumps and new > binary packages for some source packages that don't have a stable ABI. > In particular, linux has done