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 #20 received at control <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: control <at> debbugs.gnu.org
Subject: 29778 is a duplicate of 29354
Date: Tue, 31 Dec 2019 12:50:47 -0800

tags 29778 unreproducible
close 29778
merge 29354 29778
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.