On Tue, Oct 06, 2020 at 07:12:03PM +0200, Michael Biebl wrote: > Control: tags -1 + moreinfo > > Is this a duplicate of > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968116 ?
I looked at that, and at first sight it looked like something else. Kurt
