Package: grep;
Reported by: Dennis <grep+user <at> mgssub.com>
Date: Sun, 19 Nov 2017 00:44:01 UTC
Severity: normal
Tags: unreproducible
Merged with 29778
Done: Paul Eggert <eggert <at> cs.ucla.edu>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Dennis <grep+user <at> mgssub.com> Subject: bug#29354: closed (Re: GREP_OPTIONS not processed) Date: Tue, 31 Dec 2019 20:03:02 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (message/rfc822, inline)]
From: Paul Eggert <eggert <at> cs.ucla.edu> To: Dennis <grep+user <at> mgssub.com> Cc: "Santiago R.R." <santiagorr <at> riseup.net>, 29354-done <at> debbugs.gnu.org Subject: Re: GREP_OPTIONS not processed Date: Tue, 31 Dec 2019 12:02:34 -0800
[Message part 3 (message/rfc822, inline)]
From: Dennis <grep+user <at> mgssub.com> To: Grep Bugs <bug-grep <at> gnu.org> Subject: GREP_OPTIONS not processed Date: Sat, 18 Nov 2017 17:55:47 -0600
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.