On 07 déc. 2023 08:16, John Paul Adrian Glaubitz <glaub...@physik.fu-berlin.de> wrote:
> Hi Christian! Hi Adrian, > 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. Thanks I didn't noticed. > However, fixing this should be a no-brainer and wouldn't affect anything else. ... Christian