Merge pull request #507 from pwpiwi/fix_AVX512
authorIceman <iceman@iuse.se>
Tue, 5 Dec 2017 16:26:20 +0000 (17:26 +0100)
committerGitHub <noreply@github.com>
Tue, 5 Dec 2017 16:26:20 +0000 (17:26 +0100)
fix: AVX512 detection


Trivial merge
Impressum, Datenschutz