[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70511: Option to grep into compressed files
|
From: |
Dale R. Worley |
|
Subject: |
bug#70511: Option to grep into compressed files |
|
Date: |
Mon, 06 May 2024 13:56:34 -0400 |
Mary via Bug reports for GNU grep <bug-grep@gnu.org> writes:
> Dale R. Worley worley@alum.mit.edu 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