Merge pull request #3542 from akallabeth/thread_sanitizer
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Wed, 11 Apr 2018 09:01:38 +0000 (11:01 +0200)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 09:01:38 +0000 (11:01 +0200)
Added memory and thread sanitizer.


Trivial merge