Subject: Re: bug#13041: 24.2; diacritic-fold-search

From: Stefan Monnier <[email-masked]>
Date: Sun, 09 Dec 2012 10:42:15 -0500

> The Unicode Regexp spec says that it is best, if possible, to let users do
> either.

We're talking about the (now misnamed) "diacritic-fold" search.  If the
user wants to be more strict, there's always going to be the
"non-diacritic-fold" search.

        Stefan