Subject: Re: bug#17494: "GREP_OPTIONS" allows a user to break shell script

From: Paul Eggert <[email-masked]>
Date: Fri, 12 Sep 2014 09:05:51 -0700

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.