Closed Ein-Tim closed 1 year ago
As the changes in this PR are time sensitive, a decision on whether to merge it or not (and to deploy the changes or not) should follow in the next days.
Thus I'm ccing @dsarkar, @larswmh, @brianebeling as well as @mlenkeit here.
Also adding @thomasaugsten here, maybe you could have a look?
@mlenkeit I assume it's too late to consider this PR now?
This commit fixes the Term "Risiko-Begegnungen", which was incorrectly spelled as "Risikobegegnungen".