DOI 3aaf75e6a2 merging doi/git-annex doi/synced/git-annex into git-annex 4 anni fa
..
c06 3aaf75e6a2 merging doi/git-annex doi/synced/git-annex into git-annex 4 anni fa