Control: tags -1 upstream fixed-upstream Rob Norris fixed the bug with
https://github.com/viking-gps/viking/commit/e3b3814f1be2bfc5d1f3d0c1cb2f0fac63770eab (I haven't tested.) -- 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)
