Merge pull request #1634 from oon3m0oo/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 21 Jun 2018 19:01:03 +0000 (21:01 +0200)
committerGitHub <noreply@github.com>
Thu, 21 Jun 2018 19:01:03 +0000 (21:01 +0200)
Fix data races reported by TSAN.


Trivial merge