Subject: Re: bug#26100: Switch from Automake to GNU Make

From: Paul Eggert <[email-masked]>
Date: Fri, 17 Mar 2017 12:05:25 -0700

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