Hi, On 2020-01-13 14:02:58 +0100, Sylvestre Ledru wrote: > fixed 888110 0.10-1
There's something wrong with this version number. The bug was in 0.10.2-1, while 0.10-1 is less than 0.10.2-1. Regards, -- 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 / AriC project (LIP, ENS-Lyon)
