Merge pull request #8502 from MrPetovan/task/translation
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 6 Apr 2020 04:13:52 +0000 (06:13 +0200)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 04:13:52 +0000 (06:13 +0200)
Improve bin/run_xgettext and regenerate master messages.po


Trivial merge