On Fri, 18 Oct 2019 at 00:05, Curt <cu...@free.fr> wrote: > On 2019-10-17, David <bouncingc...@gmail.com> wrote: > > On Thu, 17 Oct 2019 at 10:15, Art Sackett <asack...@artsackett.com> wrote: > > > >> I've just submitted a bug report (via reportbug) for this. > > > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942478 > > That's Art Sackett's bug report, filed by Art Sackett himself, the person > to whom you're providing the link.
Yes, that's exactly why I posted a link to it, so people would not have to search for it. At that time I had not seen his other thread, where he gives the bug number.