Hi, On Mon, Nov 03, 2025 at 05:30:56PM +0100, Roberto E. Vargas Caballero wrote: > This seems ok to me. Can someone else check that we don't get the asan issue > anymore?
As discussed offline, it was tested and it fixed the issue. Merged. Thank you! Regards,
