bug#17019: [PATCH] grep: removal of trivial_case_ignore

bug-grep

[Top][All Lists]

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

bug#17019: [PATCH] grep: removal of trivial_case_ignore

From:	Paul Eggert
Subject:	bug#17019: [PATCH] grep: removal of trivial_case_ignore
Date:	Mon, 07 Apr 2014 20:32:37 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0

Thanks for this patch; it's nice to remove code. This one requiredseveral alterations while merging, due to other changes made recently inthis area; I'm attaching the patch I pushed.

0001-grep-remove-trival_case_ignore.patch
Description: Text document

[Prev in Thread]

Current Thread

[Next in Thread]

bug#17019: [PATCH] grep: removal of trivial_case_ignore, Paolo Bonzini, 2014/04/01
- bug#17019: [PATCH] grep: removal of trivial_case_ignore, Norihiro Tanaka, 2014/04/01
- bug#17019: [PATCH] grep: removal of trivial_case_ignore, Paul Eggert <=

Prev by Date: bug#17013: [PATCH] grep: optimization by using the Galil rule for Boyer-Moore algorithm in KWSet
Next by Date: bug#17027: [PATCH] grep: prefer regex to DFA for ANYCHAR in non-UTF8 locales
Previous by thread: bug#17019: [PATCH] grep: removal of trivial_case_ignore
Next by thread: bug#17013: [PATCH] grep: optimization by using the Galil rule for Boyer-Moore algorithm in KWSet
Index(es):
- Date
- Thread