K 10 svn:author V 2 se K 8 svn:date V 27 2017-12-17T13:36:53.349439Z K 7 svn:log V 175 Remove stray double-quote character left from an incomplete edit of that line (result of directly editing the patch for a trivial change ...) Approved by: antoine (implicit) END