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.
View this message in rfc822 format
From: Paul Eggert <eggert <at> cs.ucla.edu> To: Dennis <grep+user <at> mgssub.com>, 29778 <at> debbugs.gnu.org Subject: bug#29778: grep seems to ignore GREP_OPTIONS Date: Tue, 19 Dec 2017 21:54:03 -0800
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.