K 10 svn:author V 3 des K 8 svn:date V 27 2008-05-06T11:52:45.000000Z K 7 svn:log V 118 Better version of the previous commit, with an unconditional patch this time. The patch has been submitted upstream. END