K 10 svn:author V 3 uqs K 8 svn:date V 27 2019-09-22T10:59:51.380748Z K 7 svn:log V 128 Update our svn2git copy to the latest on github This brings a flag to extend the wait time for git-fast-import, which we need. END