GNU bug report logs - #29354
GREP_OPTIONS not processed

Previous Next

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.

Full log

Message #18 received at 29354-done <at> debbugs.gnu.org (full text, mbox):

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

No further comment on this bug report for two years, and I still cannot
reproduce it. Closing the bug report.
This bug report was last modified 5 years and 143 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.