Merge pull request #6623 from tobiasd/20190210-msg
authorMichael Vogel <icarus@dabo.de>
Sun, 10 Feb 2019 11:57:36 +0000 (12:57 +0100)
committerGitHub <noreply@github.com>
Sun, 10 Feb 2019 11:57:36 +0000 (12:57 +0100)
regen messages.po


Trivial merge