German translation


(Andreas Roth) #1

The German translation has a small mistake:

It’s called “beenden” not “benden.”

See Image


(Matz Binder) #2

https://www.duden.de/rechtschreibung/beenden

right :wink:

Cheers, Matz