GNU bug report logs - #37907
--no-ignore-case option

Previous Next

Package: grep;

Reported by: Karl Berry <karl <at> freefriends.org>

Date: Thu, 24 Oct 2019 18:27:02 UTC

Severity: normal

Tags: patch

Done: Paul Eggert <eggert <at> cs.ucla.edu>

Bug is archived. No further changes may be made.

Full log

Message #13 received at control <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: GNU bug control <control <at> debbugs.gnu.org>
Subject: 37907 has a patch
Date: Thu, 24 Oct 2019 14:37:39 -0700

tags 37907 patch
This bug report was last modified 5 years and 258 days ago.

Previous Next

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