K 10 svn:author V 6 philip K 8 svn:date V 27 2019-09-12T00:33:01.582840Z K 7 svn:log V 77 Restore svn:mergeinfo accidentally deleted in r352238 Pointy hat to: philip END