On Mon, 7 Oct 2019 09:49:32 +0200 Sylvestre Ledru <sylvestre at debian.org> wrote: > I fixed it from -8 (as -7 will go away soon) But -7 is in stable, so it might be good to fix it there, too. Andreas