Merge pull request #2547 from sharvil/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 10 Apr 2020 22:35:38 +0000 (00:35 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Apr 2020 22:35:38 +0000 (00:35 +0200)
Add API to set thread affinity on Linux.


Trivial merge