From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 31 Mar 2016 23:40:20 +0000 (-0700)
Subject: Merge branch 'micro' into minor
X-Git-Tag: v1.16~39^2
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=323dabef4b3570798e2d9daedbba9b98e9d7a504;p=thirdparty%2Fautomake.git

Merge branch 'micro' into minor
---

323dabef4b3570798e2d9daedbba9b98e9d7a504