K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2016-02-01T14:15:03.451798Z K 7 svn:log V 141 - Update to 0.7.5 - While here, fix LICENSE PR: 206407 Submitted by: jochen@jochen-neumeister.de Approved by: lars@eggert.org (maintainer) END