Peter N. Steinmetz 955d8fd2b1 merging origin/git-annex into git-annex 3 lat temu
..
9a7 955d8fd2b1 merging origin/git-annex into git-annex 3 lat temu