On 2026-01-11 17:03:35 +0100, Vincent Lefevre wrote: > This is now fixed upstream with the following commit: > > > https://github.com/viking-gps/viking/commit/7f5933f6380f02be2e8b7b4ee408fe201f69cd7f
BTW, note that Viking 1.11 has just been released: https://github.com/viking-gps/viking/commit/6447dc4dbe685308ee8276e8ebdbc1ec1e88291f and is available on SourceForge: https://sourceforge.net/projects/viking/files/ -- 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)
