K 10 svn:author V 4 rene K 8 svn:date V 27 2013-07-07T22:18:00.443821Z K 7 svn:log V 77 Resolve some unintended non-whitespace changes against head/ which crept in. END