bug-grep
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#38792: man grep

From: Paul Eggert
Subject: bug#38792: man grep
Date: Mon, 21 Sep 2020 12:09:56 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0
Discussion on this worthsmithing issue died down in December so I'm taking the liberty of closing the bug report. We can reopen it or start a new one as necessary.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]