0001-grep-tune-list_files-conversion-to-enum.patchDescription: Text Data
|
| From: | Paul Eggert |
| Subject: | bug#23715: [PATCH 4/6] grep: convert list_files to an enum |
| Date: | Thu, 18 Aug 2016 23:15:27 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 |
Thanks, closing this bug report as your patch was applied in June.I followed up by installing the attached minor tweak, which should improve performance very slightly, to be about what it was earlier.
0001-grep-tune-list_files-conversion-to-enum.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |