On Fri, May 16, 2014 at 11:08 PM, Paul Eggert <eggert@cs.ucla.edu> wrote:
> By the way, I verified that this patch is not needed if grep updates to the
> latest version of gnulib, because of this gnulib fix:
>
> http://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=2a045bc38f853c02f682c710b8d69bd465719b26
>
> So, after grep syncs to the latest gnulib, this patch should be reverted.

Thanks.  I've done that.  First, update to latest gnulib, then revert
the now-unnecessary commit: