Hi Christian! On Thu, 2023-12-07 at 08:09 +0100, Christian Marillat wrote: > > It's always safe to apply this patch. > > It is possible to see this bug fixed ?
I have uploaded a patched version to unreleased for the time being. However, fixing this should be a no-brainer and wouldn't affect anything else. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913