Skip to content

Avoid unchanged translation of keyboard shortcuts to work around problems#2235

Merged
mgrojo merged 3 commits into
masterfrom
reset_shorcut_translations
May 19, 2020
Merged

Avoid unchanged translation of keyboard shortcuts to work around problems#2235
mgrojo merged 3 commits into
masterfrom
reset_shorcut_translations

Commits

Commits on May 9, 2020

Commits on May 10, 2020

Commits on May 19, 2020