Merge pull request #2136 from martin-frbg/issue2126
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 16 May 2019 10:08:16 +0000 (12:08 +0200)
committerGitHub <noreply@github.com>
Thu, 16 May 2019 10:08:16 +0000 (12:08 +0200)
Add option to allow combining USE_THREAD=0 with thread locking support


Trivial merge