On 2026-10-09 00:51:47 +0200, Santiago Vila wrote: > This is either not fixed, or happening again.
What about my patch? https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1146304#10 -- 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)
