K 10 svn:author V 5 garga K 8 svn:date V 27 2007-09-05T12:57:37.000000Z K 7 svn:log V 61 Fix last commit when distinfo was forgotten. Noted by: pav@ END