merging origin/git-annex into git-annex

uuid.log

@@ -0,0 +1,3 @@
+4e4ab21b-dce4-4345-87ee-304a4cec5d60 git@eaa3e2b883df:/data/tmp/appdata/tmp/local-repo/860 timestamp=1576594274.171677397s
+9d0b6dea-5e88-485f-9742-ae9d8a699c3d git@eaa3e2b883df:/data/tmp/appdata/tmp/local-repo/860 timestamp=1576597274.850227952s
+cc93667f-c800-4b0b-b895-72716781a283 git@fe0d142e735f:/data/tmp/appdata/tmp/local-repo/860 timestamp=1564010322.921394221s