Subject: bug#16893: [PATCH] Avoid matching line-by-line for case-insensitive with grep

From: Norihiro Tanaka <[email-masked]>
Date: Sat, 01 Mar 2014 00:11:49 +0900

I used the attachment on this mail to test for "removal of
trivial_case_ignore".

Norihiro