Subject: Re: Default to 'configure --enable-silent-rules'

From: Paul Eggert <[email-masked]>
Date: Sun, 11 Jan 2015 01:22:10 -0800

I installed the patch in the master as commit 
b995b4ae8f9e08719a92bbe3bd6ac7e8ff091309 and am marking this as done.