Merge pull request #6775 from annando/issue-6395
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 28 Feb 2019 09:17:01 +0000 (10:17 +0100)
committerGitHub <noreply@github.com>
Thu, 28 Feb 2019 09:17:01 +0000 (10:17 +0100)
Issue 6395: Don't log details to avoid memory issues


Trivial merge