Merge pull request #8442 from annando/issue-8371-logging2
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 22 Mar 2020 13:02:07 +0000 (14:02 +0100)
committerGitHub <noreply@github.com>
Sun, 22 Mar 2020 13:02:07 +0000 (14:02 +0100)
Issue 8371: More enhanced logging


Trivial merge