Merge pull request #3242 from martin-frbg/issue3239
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 22 May 2021 17:24:46 +0000 (19:24 +0200)
committerGitHub <noreply@github.com>
Sat, 22 May 2021 17:24:46 +0000 (19:24 +0200)
Handle inadvertent use of DYNAMIC_ARCH=0


Trivial merge