Merge pull request #5159 from AndyHee/patch1
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 2 Jun 2018 05:54:12 +0000 (07:54 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Jun 2018 05:54:12 +0000 (07:54 +0200)
Rewording label


Trivial merge