> On 29 May 2018, at 14:47, Arthur Reutenauer <arthur_at_reutenauer.eu> wrote:
>
>> The main point is what users of ẞ and ß would think, and Unicode to adjust accordingly.
>
> Since users of ß would think that in the vast majority of cases, it
> ought to be uppercased to SS, I think you’re missing the main point.
No, you missed the point.
Received on Tue May 29 2018 - 07:58:26 CDT
This archive was generated by hypermail 2.2.0 : Tue May 29 2018 - 07:58:26 CDT