K 10 svn:author V 3 gjb K 8 svn:date V 27 2013-05-23T20:30:42.513302Z K 7 svn:log V 121 MFH: Merged /head/share:r40366-41735 Merged /projects/xml-tools/share:r39637-41644 Approved by: doceng (implicit) END