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

[Paul Eggert]

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