Merge pull request #4328 from akallabeth/nightly_sanitize_address
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Tue, 23 Jan 2018 16:57:47 +0000 (17:57 +0100)
committerGitHub <noreply@github.com>
Tue, 23 Jan 2018 16:57:47 +0000 (17:57 +0100)
Activated address sanitizer for nightly builds.


Trivial merge