Merge pull request #4238 from tobiasd/20180115-messages
authorMichael Vogel <icarus@dabo.de>
Mon, 15 Jan 2018 07:04:16 +0000 (08:04 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Jan 2018 07:04:16 +0000 (08:04 +0100)
regenerated master messages.po file


Trivial merge