publishing git-annex 5.20140717
updated info files for git-annex 5.20140717