Merge pull request #1910 from martin-frbg/issue1909
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 12 Dec 2018 13:56:25 +0000 (14:56 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Dec 2018 13:56:25 +0000 (14:56 +0100)
Fix for DYNAMIC_ARCH builds made on a AVX512-capable host


Trivial merge