Re: Failure building Emacs master

[Eli Zaretskii]

> From: Paul Eggert <address@hidden>
> Date: Tue, 21 Mar 2017 11:24:23 -0700
> Cc: Emacs developers <address@hidden>
> 
> On 03/21/2017 09:45 AM, Angelo Graziosi wrote:
> > It seems the patch is not yet applied on master.. 
> 
> I applied it just now (with streamlined diagnostics), since you and I 
> liked the idea and there wasn't any opposing opinion.

I reverted it, since I specifically asked not to make this the
default.