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

From: Paul Eggert <[email-masked]>
Date: Fri, 28 Feb 2014 22:26:36 -0800

Thanks, I applied that.  It simplifies another patch I've been meaning 
to put in, yay!