[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new snapshot tomorrow. anything pending?
|
From: |
Paul Eggert |
|
Subject: |
Re: new snapshot tomorrow. anything pending? |
|
Date: |
Mon, 2 Nov 2020 11:20:23 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 11/1/20 5:56 PM, Jim Meyering wrote:
If you have any pending patches, please share details soon.
Is it time to finish deprecating GREP_OPTIONS? Something like the attached, say.
0001-grep-remove-GREP_OPTIONS.txt
Description: Text document