git-annex 8.20200720.1 released with these changes

  • Fix a bug in find --batch in the previous version.