K 10 svn:author V 3 dim K 8 svn:date V 27 2013-10-11T20:42:59.519299Z K 7 svn:log V 79 Fix up the svn mergeinfo which I forgot in r256342. Approved by: re (glebius) END