Merge pull request #1876 from rengolin/armv8-cleanup
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 25 Nov 2018 19:51:24 +0000 (20:51 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Nov 2018 19:51:24 +0000 (20:51 +0100)
Simplifying ARMv8 build parameters


Trivial merge