From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 12 Jan 2016 20:44:53 +0000 (-0800)
Subject: Merge branch 'micro' into minor
X-Git-Tag: v1.16~40^2
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=0f5e166e42cb3873b4073600198278b6e3363dbc;p=thirdparty%2Fautomake.git

Merge branch 'micro' into minor
---

0f5e166e42cb3873b4073600198278b6e3363dbc