Merge pull request #3699 from Zack0617/patch-1
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 29 Feb 2020 20:00:49 +0000 (22:00 +0200)
committerGitHub <noreply@github.com>
Sat, 29 Feb 2020 20:00:49 +0000 (22:00 +0200)
Fix translation issue


Trivial merge