Subject: Re: bug#24975: Matching issues with characters whose encoding ends in some other character

From: Paul Eggert <[email-masked]>
Date: Mon, 28 Nov 2016 08:48:29 -0800

Thanks for that DFA fix, which should be much better than the previous 
workaround. I installed it into gnulib and installed the attached patch 
into grep.