Michael Denker d062fab6fc merging origin/git-annex into git-annex 1 anno fa
..
65b d062fab6fc merging origin/git-annex into git-annex 1 anno fa
971 032afb5ca1 merging upstream/git-annex into git-annex 3 anni fa