Subject: Re: bug#70511: Option to grep into compressed files

From: "Dale R. Worley" <[email-masked]>
Date: Mon, 06 May 2024 13:56:34 -0400

Mary via Bug reports for GNU grep <[email-masked]> writes:
> Dale R. Worley [email-masked] wrote:
>> [...]

> I already have a patch that I believe is trivial enough to not cause
> copyright concerns, would you like me to send it?

*I* am all in favor of it, but I'm not a grep maintainer!

Dale