Package: grep;
Reported by: Dennis <grep+user <at> mgssub.com>
Date: Wed, 20 Dec 2017 04:56:02 UTC
Severity: normal
Tags: unreproducible
Merged with 29354
Done: Paul Eggert <eggert <at> cs.ucla.edu>
Bug is archived. No further changes may be made.
Message #11 received at 29778 <at> debbugs.gnu.org (full text, mbox):
From: Bob Proulx <bob <at> proulx.com> To: Dennis <grep+user <at> mgssub.com> Cc: 29778 <at> debbugs.gnu.org Subject: Re: bug#29778: grep seems to ignore GREP_OPTIONS Date: Thu, 21 Dec 2017 16:34:31 -0700
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.