On Mon, Feb 10, 2025 at 05:54:00PM +0100, Joel Carnat wrote: > Here's the update patches. > I also modified the Makefile as I just noticed on of this option was > forced there. But the other were not present. I have turned it ON by > default in the options. Thanks, committed! Thomas