> On 29 May 2018, at 12:55, Arthur Reutenauer <arthur at reutenauer.eu> 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.