K 10 svn:author V 3 imp K 8 svn:date V 27 2018-07-01T01:45:41.406016Z K 7 svn:log V 103 Mention, belatedly, the need to run mergemaster. This somehow wasn't committed with the other changes. END