Michael Denker 4d0bc46d71 merging origin/git-annex into git-annex 1 rok temu
..
4d1 4d0bc46d71 merging origin/git-annex into git-annex 1 rok temu