Subject: Re: bug#26100: Switch from Automake to GNU Make
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 17 Mar 2017 12:05:25 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed the patch, along with a followup patch fixing glitches I 
observed while testing it, and am boldly closing this bug report.