> On 29 May 2018, at 12:55, Arthur Reutenauer <[email protected]> wrote: > >> If uppercasing is not common, one would think that setting it too ẞ would >> pose no problems, no that it is available. > > It would, for reasons of stability.
The main point is what users of ẞ and ß would think, and Unicode to adjust accordingly.
