Thanks for this patch too. I pushed it into the savannah git master,
with a slightly different commit message.
- bug#17027: [PATCH] grep: prefer regex to DFA for ANYCHAR i... Norihiro Tanaka
- bug#17027: [PATCH] grep: prefer regex to DFA for ANYC... Paolo Bonzini
- bug#17027: [PATCH] grep: prefer regex to DFA for ... Norihiro Tanaka
- bug#17027: [PATCH] grep: prefer regex to DFA ... Norihiro Tanaka
- bug#17027: [PATCH] grep: prefer regex to ... Norihiro Tanaka
- bug#17027: [PATCH] grep: prefer rege... Norihiro Tanaka
- bug#17027: [PATCH] grep: prefer ... Paul Eggert
- bug#17027: [PATCH] grep: pre... Paul Eggert
- bug#17027: [PATCH] grep: pre... Paul Eggert
