K 10 svn:author V 4 yuri K 8 svn:date V 27 2019-04-04T07:06:29.114107Z K 7 svn:log V 86 science/agrum: Correct the previous update: it didn't have the GL_COMMIT hash updated END