Lennart Wittkuhn 5b3be91643 merging gin/git-annex into git-annex 3 lat temu
..
207 5b3be91643 merging gin/git-annex into git-annex 3 lat temu
408 202bc11e83 merging gin/git-annex origin/git-annex into git-annex 3 lat temu
511 5b3be91643 merging gin/git-annex into git-annex 3 lat temu