Hi, On Sat, Jul 15, 2023 at 9:38 PM Niels Thykier <ni...@thykier.net> wrote: > This is #1031695, which was closed and archived (marking it hard for > people to see this is a known item). [...]
Thank you. I was unaware of the previous discussion, and my favorite search engine was as well. I'll forcemerge this bug with the original one. Cheers, -- Romain Francoise <rfranco...@debian.org> https://people.debian.org/~rfrancoise/
