On Tue, Sep 14, 2021 at 02:00:16PM +0200, Thierry Fournier wrote: (...) > So, I guess this ommit is not a great bug, but the experieence learn > when we play with longjmp, MEDIUM is the right level for a patch.
Thanks Thierry for the detailed analysis! Willy
