[debbugs-tracker] bug#21233: closed ([PATCH] grep: remove codes for case insensitive matching from fgrep)

[GNU bug Tracking System]

Your message dated Wed, 12 Aug 2015 07:52:45 -0700
with message-id <address@hidden>
and subject line Re: bug#21233: [PATCH] grep: remove codes for case insensitive 
matching from fgrep
has caused the debbugs.gnu.org bug report #21233,
regarding [PATCH] grep: remove codes for case insensitive matching from fgrep
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
21233: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=21233
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] grep: remove codes for case insensitive matching from fgrep Date: Tue, 11 Aug 2015 20:22:26 +0900

No longer fgrep matcher does not do with case insensitive matching, as
case insensitive matching for fgrep uses DFA.

This patch removes codes for them from fgrep matcher.

0001-dfa-remove-codes-for-case-insensitive-matching-from.patch
Description: Text document

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#21233: [PATCH] grep: remove codes for case insensitive matching from fgrep
>
>
>
>
> Date: 
>
> Wed, 12 Aug 2015 07:52:45 -0700
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.8.0
>
>
>
>
> Thanks for that patch too.  I installed it.
>
>
> --- End Message ---