K 10 svn:author V 2 se K 8 svn:date V 27 2019-06-02T07:13:07.901983Z K 7 svn:log V 77 Fix omission of changes in previous commit. Approved by: antoine (implicit) END