Merge pull request #1178 from jcowgill/mips-fixes
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 6 May 2017 15:20:10 +0000 (17:20 +0200)
committerGitHub <noreply@github.com>
Sat, 6 May 2017 15:20:10 +0000 (17:20 +0200)
MIPS threading fixes


Trivial merge