K 10 svn:author V 7 linimon K 8 svn:date V 27 2018-06-20T15:01:42.583310Z K 7 svn:log V 79 Fix mis-merge in previous commit. Reported by: olivier Pointy hat to: linimon END