Merge pull request #1647 from martin-frbg/armv7-dot
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Tue, 26 Jun 2018 20:27:30 +0000 (22:27 +0200)
committerGitHub <noreply@github.com>
Tue, 26 Jun 2018 20:27:30 +0000 (22:27 +0200)
Remove premature exits from ARMV7 xdot codes


Trivial merge