Merge pull request #7345 from mhei/automake-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 10 Nov 2018 19:05:31 +0000 (20:05 +0100)
committerGitHub <noreply@github.com>
Sat, 10 Nov 2018 19:05:31 +0000 (20:05 +0100)
automake: update to 1.15.1


Trivial merge