Subject: Re: include-file cleanup for src directory
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Tue, 20 Oct 2015 18:38:33 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I've installed the patch and am marking this as done.