Subject: Re:bug#31913: A bug with grep

From: Budi Kusasi <[email-masked]>
Date: Wed, 20 Jun 2018 23:30:01 +0700

it won't.
because it's insensitive to case ie. ignoring to distinguish the difference of letter case.