Merge pull request #1506 from martin-frbg/issue1497
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 5 Apr 2018 21:46:36 +0000 (23:46 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Apr 2018 21:46:36 +0000 (23:46 +0200)
Fix thread races and infinite looping on systems with many cpus


Trivial merge