[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, 30 Dec 2019 01:59:09 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 |
Thanks, I installed the attached, which is a bit more conservative than what you
suggested but which I hope catches all the issues.
0001-doc-robustify-some-examples.patch
Description: Text Data
bug#38792: man grep, Stephane Chazelas, 2019/12/29