Commit bf1a6d3afc0fa02d293f5f9d9dd256ac668f4e8b

Karl Berry 2020-03-24T15:13:09

Merge branch 'master' of git.savannah.gnu.org:/srv/git/automake