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)
commit32cc6e16ef6e7148dac90502cb074366075f820d
tree0fec0e9b827c624abb20fb4904333d838608e836
parentbdcb1a349e16a360db727983a0636edded8059eb
parentff474939d5d86918508c7780432a230d22ba1167
Merge pull request #4328 from akallabeth/nightly_sanitize_address

Activated address sanitizer for nightly builds.