Merge pull request #1515 from martin-frbg/mipsdot
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 11 Apr 2018 06:21:25 +0000 (08:21 +0200)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 06:21:25 +0000 (08:21 +0200)
Correct precision of mips dsdot


Trivial merge