Subject: Re: Inconsistent case-sensitivity behavior

From: Paul Eggert <[email-masked]>
Date: Sat, 08 Mar 2014 10:04:37 -0800

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.