On 2022-08-17 13:16:42 -0400, Nathan Hartman wrote: > Looks good to me. Thanks for doing that. I'll commit it shortly. > > Is there anything in particular you'd like the log message to say (other > than credit for writing this patch of course)?
Nothing particular. Thanks. -- 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)
