Subject: Re: bug#17516: [PATCH] grep: no count newline at the head of a text buffer

From: Paul Eggert <[email-masked]>
Date: Fri, 16 May 2014 22:08:41 -0700

Thanks for catching that; I installed the patch with a slightly reworded 
ChangeLog entry.