From: Mathieu Lirzin <mthl@gnu.org>
Date: Fri, 16 Jun 2017 20:46:16 +0000 (+0200)
Subject: Merge branch 'micro' into minor
X-Git-Tag: v1.16~36^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c946ae6f25422d45e54de0fd69309cbb438f942d;p=thirdparty%2Fautomake.git

Merge branch 'micro' into minor
---

c946ae6f25422d45e54de0fd69309cbb438f942d