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)
commit52d1b35a636195a6e2e5965ff1003ad39eb1cf80
tree475d0bff4d16e2d0e1c59288ff3e372ab8bbb2cb
parente06ed191ac7d45ee8c9901723412f1f3b5fef2fb
parent17bbe7a23f18644955d474a7e54a09304494aa34
Merge pull request #5046 from akallabeth/silence_wlog

Do not compile extended debugging by default.