Merge pull request #7295 from tobiasd/20190622-lang
authorMichael Vogel <icarus@dabo.de>
Sat, 22 Jun 2019 06:56:36 +0000 (08:56 +0200)
committerGitHub <noreply@github.com>
Sat, 22 Jun 2019 06:56:36 +0000 (08:56 +0200)
core translation update


Trivial merge