Merge pull request #1427 from turol/asan
authorKim Kulling <kimkulling@users.noreply.github.com>
Wed, 13 Sep 2017 17:38:44 +0000 (19:38 +0200)
committerGitHub <noreply@github.com>
Wed, 13 Sep 2017 17:38:44 +0000 (19:38 +0200)
Asan


Trivial merge