Subject: Re: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales

From: Paul Eggert <[email-masked]>
Date: Fri, 07 Mar 2014 18:48:23 -0800

This patch has been installed, so I'm taking the liberty of closing the 
bug report.