K 10 svn:author V 2 bz K 8 svn:date V 27 2014-03-06T09:51:31.419258Z K 7 svn:log V 195 Copy is not merge (that was me in r262833), but trying to cleanup server side svn thought ^/user/bz/.../head would be ^/head which scared me. Hope this local, relative operation will just dtrt. END