bug#21233: [PATCH] grep: remove codes for case insensitive matching from fgrep

[Paul Eggert]

Thanks for that patch too.  I installed it.