bug#13041: 24.2; diacritic-fold-search

[martin rudalics]

>> And how do I now call `put-char-code-property' to make the German sharp
>> "s" ("ß") equivalent to "ss"?  Or am I not supposed to do such a thing?
>
> That's already set up in the appropriate case table, I think.

Why in a case table?  Both "ß" and "ss" are lower case.

> But it
> is not a compatibility decomposition, AFAIK.

But I can make it one?

martin