Subject: Re: include-file cleanup for src directory

From: Paul Eggert <[email-masked]>
Date: Tue, 20 Oct 2015 18:38:33 -0700

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