Subject: Re: Inconsistent case-sensitivity behavior
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sat, 08 Mar 2014 10:04:37 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

This bug has been fixed in later versions of grep.  I can reproduce the 
bug with grep 2.8 but not with grep 2.18, the current version.