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

bug-gnulib

[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From:	Paul Eggert
Subject:	Re: [PATCH] dfa: remove unused the member of structure
Date:	Fri, 25 Sep 2020 19:22:19 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

Thanks. That patch is obviously harmless even at this late stage of greptesting, so I installed it into Gnulib where it can be picked up by the nextgnulib update in grep.

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] dfa: remove unused the member of structure, Norihiro Tanaka, 2020/09/25
- Re: [PATCH] dfa: remove unused the member of structure, Paul Eggert <=

Prev by Date: Re: [platform-testers] new snapshot available: grep-3.4-almost.46-b2228
Next by Date: Re: [platform-testers] new snapshot available: grep-3.4-almost.46-b2228
Previous by thread: [PATCH] dfa: remove unused the member of structure
Index(es):
- Date
- Thread