On Saturday, 31 August 2024 12:15:14 CEST you wrote: > That would indeed be reproducible, but it has a few problems in that > it make the patch not upstreamable, and it also might be misleading on > Ubuntu (or any other Debian-derivative).
That's a good point. Ok, then I'll apply this patch upstream. Thanks for the advice.
