]> git.ipfire.org Git - thirdparty/automake.git/commitdiff
Merge branch 'micro' into minor
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 12 Jan 2016 20:44:53 +0000 (12:44 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 12 Jan 2016 20:44:53 +0000 (12:44 -0800)

Trivial merge