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)
commitee13d074e08748ff0693521b12e39744f393ca45
tree126c3351ffcd04905abf6ce70bc7f98fdd8d1e34
parentf3934eb0c23e5357e28c63112421958e42a34c6d
parent5b6ced9c6e44bfe3c2345e709f460fd64664439e
Merge pull request #9148 from annando/issue-9142

Issue 9142: Make the message ID look more like a message ID