Jim Meyering wrote:
That looks fine. Long overdue. Thank you for writing it.
You're welcome, and I applied it and am marking this as done. Other GNU utilities probably need similar changes at some point.
- bug#17494: grep bug report: "GREP_OPTIONS" allow... Nadav Har'El
- bug#17494: grep bug report: "GREP_OPTIONS" ... Paul Eggert
- bug#17494: grep bug report: "GREP_OPTIONS&qu... Nadav Har'El
- bug#17494: grep bug report: "GREP_OPTIONS&qu... Norihiro Tanaka
- bug#17494: grep bug report: "GREP_OPTION... Nadav Har'El
- bug#17494: "GREP_OPTIONS" allows a user to ... Paul Eggert
- bug#17494: "GREP_OPTIONS" allows a user... Jim Meyering
- bug#17494: "GREP_OPTIONS" allows a ... Paul Eggert
- bug#17494: "GREP_OPTIONS" allows a user... Nadav Har'El
