Merge pull request #10936 from mshabunin:fix-mingw-avx512
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 2 Mar 2018 11:34:00 +0000 (11:34 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 2 Mar 2018 11:34:00 +0000 (11:34 +0000)
commit546f1d9f1574a10cb81386ea9612a2507e164ffa
treee7e49311bba4747316ddec1eee6d752ac4ba0560
parent90ff9003872b6b37bb72ebc36e6b1251b0326dde
parentf0c0e0c6fa198ed3700be4a2bd8f3cc7d70fc127
Merge pull request #10936 from mshabunin:fix-mingw-avx512