On Sat, May 28, 2022 at 5:18 PM Paul Eggert wrote:
> On 5/28/22 11:19, goncholden wrote:
> > I agree on removing GREP_COLOR entirely.
>
> Sounds good to me too. Proposed patch attached. I haven't installed
> this, as I'd like Jim's opinion (we're reasonably close to a release I
> think).
Thanks f
On 5/29/22 08:40, Jim Meyering wrote:
Adding a test for the new behavior would be nice.
OK, thanks, I installed the new warning and followed up with the
attached patch to test it.From d85711f6945f79443bbb51b4d0f668a91a163e50 Mon Sep 17 00:00:00 2001
From: Paul Eggert
Date: Sun, 29 May 2022 16
