Subject: Re: [bug#29880] [PATCH] gnu: grep: Add PCRE support.
From: [email-masked] (Ludovic Courtès)
To: Roel Janssen <[email-masked]>
Cc: Oleg Pykhalov <[email-masked]>, [email-masked]
Date: Thu, 11 Jan 2018 22:50:12 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Roel Janssen <[email-masked]> skribis:

> Ludovic Courtès writes:

[...]

>> Alternately, what we could do is:
>>
>>   1. Keep ‘grep-final’ as it is right now (without PCRE support; this
>>      has never been a problem so far.)
>>
>>   2. Add PCRE to ‘grep’ itself (like Oleg did).
>>
>> Thoughts?
>
> Yes that seems fine to me.

Done in 20bf5fce7dbdc754a6c430abbeb50fb0662bda38.

Thanks!

Ludo'.