Le 17/01/2020 à 23:47, Benoît Minisini a écrit : > Le 17/01/2020 à 20:03, Jussi Lahtinen a écrit : >> New version introduces new JIT bug. See attachment. >> >> >> Jussi >> > > I think the bug was there since the beginning. > It's fixed in the last commit. -- Benoît Minisini