Lennart Wittkuhn 5b3be91643 merging gin/git-annex into git-annex 4 lat temu
..
562 202bc11e83 merging gin/git-annex origin/git-annex into git-annex 4 lat temu
a4d 5b3be91643 merging gin/git-annex into git-annex 4 lat temu