On Sat, 12 Sep 2020 at 17:57, Gaƫl Bonithon <trash.paradise at protonmail.com> wrote: > > No, it's a bug! I should have checked in release mode! ^^' > I have to investigate this, I'll report when it's fixed. > Thanks! Glad I could help on this lazy Saturday! :-)