On 2022-05-08 17:51:30 +0200, Daniel Sahlberg wrote: > Den fre 11 mars 2022 kl 12:10 skrev Vincent Lefevre <vincent-...@vinc17.net > >: > > > On 2022-03-11 10:29:12 +0000, Julian Foad wrote: > > > Julian Foad wrote: > > > > +1. Can you send a patch? > > > > > > By the way, the reason I ask if you would be willing, rather than "just > > > quickly doing it" myself, is even a small "obvious" fix like this tends > > > to require more than it initially looks like: checking if it's already > > > done in head of trunk, > > > > This is what I'm looking at. > > > > Hi Vincent, > > Did you get around to do anything about this? Even if you didn't complete > it, maybe we can commit part of the job. [...]
Hi Daniel, Sorry for the late reply. I got busy for the past few months. But I can now look at it. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)