K 10 svn:author V 7 thierry K 8 svn:date V 27 2008-07-13T12:49:44.000000Z K 7 svn:log V 54 Fix with NOPORTSDOC. Reported by: itetcu's tinderbox END