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)
commit7bc4427c09240340b20f8f3fc246e79bedf1aad6
tree1b551888956b5fcb50761086e57b38f740317ec6
parent9f8ca846eb1fd0b4490f979e6f3d3c68e2981849
parentfc7ac75ba4418eab6f0da8c0fcb8359d82f2b0c6
Merge pull request #8442 from annando/issue-8371-logging2

Issue 8371: More enhanced logging