Merge pull request #5046 from akallabeth/silence_wlog
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Mon, 26 Nov 2018 11:10:59 +0000 (11:10 +0000)
committerGitHub <noreply@github.com>
Mon, 26 Nov 2018 11:10:59 +0000 (11:10 +0000)
Do not compile extended debugging by default.


Trivial merge