subject:"\[PATCH\] dfa\: remove unused the member of structure"

Re: [PATCH] dfa: remove unused the member of structure

2020-09-25 Thread Paul Eggert

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.

[PATCH] dfa: remove unused the member of structure

2020-09-25 Thread Norihiro Tanaka

Hi, Now the member 'first_end' in struct dfa is used. It should be removed. Thanks, Norihiro From ce3f6337b651128d405137a58656e623579cf17d Mon Sep 17 00:00:00 2001 From: Norihiro Tanaka Date: Sat, 26 Sep 2020 09:50:01 +0900 Subject: [PATCH] dfa: remove unused the member of struct