Subject: Re: bug#17516: [PATCH] grep: no count newline at the head of a text buffer
From: Paul Eggert <[email-masked]>
To: Norihiro Tanaka <[email-masked]>, [email-masked]
Date: Fri, 16 May 2014 22:08:41 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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