Merge pull request #2807 from martin-frbg/issue2804
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 31 Aug 2020 21:44:56 +0000 (23:44 +0200)
committerGitHub <noreply@github.com>
Mon, 31 Aug 2020 21:44:56 +0000 (23:44 +0200)
Work around ARMV8 build-time cpu detection problems on non-Linux systems


Trivial merge