bug#42064: 28.0.50; German "Sharp S" is capitalized inconsistenly

[Eli Zaretskii]

> From: "Philip K." <philip@warpmail.net>
> Cc: 42064@debbugs.gnu.org
> Date: Fri, 26 Jun 2020 21:08:55 +0200
> 
> > In 2016, the Council for German Orthography proposed the introduction
> > of optional use of ẞ in its ruleset (i.e. variants STRASSE vs. STRAẞE
> > would be accepted as equally valid).[19] The rule was officially
> > adopted in 2017.[20]
> 
> [0] https://en.wikipedia.org/wiki/%C3%9F#Capital_form

I know, but German input methods are not only for Germany, and AFAIR
other German-speaking countries didn't follow suit.