Commit 54e7e4838a8f6c1877bb90cfcbd76fda3bfeada8

Bruno Haible 2016-12-04T15:50:24

Always use the newest released copies of files brought in from Automake.