Hi Salvatore, On 2026-01-09 06:38:39 +0100, Salvatore Bonaccorso wrote: > Were you able to reproduce the issue and if yes test that patch?
Sorry, I could not try yet. This has been a busy period, and still until at least around February 9. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
