GNU bug report logs - #43623
[PATCH] dfa: remove unused the member of structure

Previous Next

Package: grep;

Reported by: Norihiro Tanaka <noritnk <at> kcn.ne.jp>

Date: Sat, 26 Sep 2020 01:08:01 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Norihiro Tanaka <noritnk <at> kcn.ne.jp>
Cc: 43623 <at> debbugs.gnu.org, bug-gnulib <at> gnu.org
Subject: bug#43623: [PATCH] dfa: remove unused the member of structure
Date: Fri, 25 Sep 2020 19:22:19 -0700

Thanks. That patch is obviously harmless even at this late stage of grep 
testing, so I installed it into Gnulib where it can be picked up by the next 
gnulib update in grep.
This bug report was last modified 4 years and 198 days ago.

Previous Next

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