K 10 svn:author V 4 tijl K 8 svn:date V 27 2017-05-26T13:03:33.032277Z K 7 svn:log V 105 Revert faulty distinfo change in r441768. Reported by: Walter Schwarzenfeld END