Re: [bug #36567] grep -i (case-insensitive) is broken with UTF8

[Paul Eggert]

I've submitted a proposed patch for this to
<http://savannah.gnu.org/bugs/?36567>.
Thanks, Johannes, for bringing it up.