On 2021-02-21 14:58:06 -0800, Kevin J. McCarthy wrote: > On Sat, Feb 20, 2021 at 03:16:17PM -0800, Kevin J. McCarthy wrote: > > I'll merge the branch into master tomorrow, but if anyone has the time > > please give it a test. > > I've merged the branch into master. As before, please let me know if you > find any problems. Thank you.
Thanks. Everything works fine now. -- 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)
