On Sat, 12 Sep 2020 at 18:15, Gaël Bonithon <trash.paradise at protonmail.com> wrote: > > Fixed! Yes, I can confirm, no segmentation fault! Merci!