Merge pull request #9148 from annando/issue-9142
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 6 Sep 2020 18:26:06 +0000 (20:26 +0200)
committerGitHub <noreply@github.com>
Sun, 6 Sep 2020 18:26:06 +0000 (20:26 +0200)
Issue 9142: Make the message ID look more like a message ID


Trivial merge