Package: grep;
Reported by: Jim Meyering <jim <at> meyering.net>
Date: Mon, 23 Sep 2013 05:09:01 UTC
Severity: normal
Tags: notabug, patch
Done: Jim Meyering <jim <at> meyering.net>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 15439 in the body.
You can then email your comments to 15439 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Jim Meyering <jim <at> meyering.net> To: bug-grep <at> gnu.org Subject: [PATCH] dfa: remove dead disjunct Date: Sun, 22 Sep 2013 22:07:48 -0700
[Message part 1 (text/plain, inline)]
[0002-dfa-remove-dead-disjunct.patch (application/octet-stream, attachment)]
Jim Meyering <jim <at> meyering.net>
to control <at> debbugs.gnu.org
.
(Mon, 28 Oct 2013 00:22:02 GMT) Full text and rfc822 format available.Jim Meyering <jim <at> meyering.net>
to control <at> debbugs.gnu.org
.
(Mon, 28 Oct 2013 01:49:02 GMT) Full text and rfc822 format available.Debbugs Internal Request <help-debbugs <at> gnu.org>
to internal_control <at> debbugs.gnu.org
.
(Mon, 25 Nov 2013 12:24:04 GMT) Full text and rfc822 format available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.