Merge pull request #8434 from tobiasd/20200321-msg
authorHypolite Petovan <hypolite@mrpetovan.com>
Sat, 21 Mar 2020 15:38:10 +0000 (11:38 -0400)
committerGitHub <noreply@github.com>
Sat, 21 Mar 2020 15:38:10 +0000 (11:38 -0400)
regen messages.po


Trivial merge