Thomas Eggert acb63f4f32 merging origin/git-annex into git-annex vor 7 Monaten
..
c4e acb63f4f32 merging origin/git-annex into git-annex vor 7 Monaten