Subject: Re: bug#15724: FYI, grep-2.15 is released:

From: Jim Meyering <[email-masked]>
Date: Sat, 26 Oct 2013 18:25:09 -0700

On Sat, Oct 26, 2013 at 12:20 PM, Paul Eggert <[email-masked]> wrote:
> Jim Meyering wrote:
>> Here's the announcement:
>>
>>   https://savannah.gnu.org/forum/forum.php?forum_id=7763
>>
>>
>>
>
> In that release 'grep --version' outputs this:
>
> grep (GNU grep) 2.14.56-1e3d

Well, that's an unpleasant surprise -- and cause for at least one more
pre-release check.
I don't know yet what went wrong, but will post as soon as I do.
Thanks for the heads up.