Subject: grep seems to ignore GREP_OPTIONS

From: Dennis <[email-masked]>
Date: Tue, 19 Dec 2017 20:29:20 -0600

For a long time I have used GREP_OPTIONS to set the
--ignore-case option. Suddenly it seems to be ignoring it.

I am running Debian Jessie and grep 2.20