Subject: Re: Default to 'configure --enable-silent-rules'
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sun, 11 Jan 2015 01:22:10 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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