Merge pull request #10416 from fenrus75:avx512
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 28 Dec 2017 15:56:56 +0000 (15:56 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 28 Dec 2017 15:56:56 +0000 (15:56 +0000)

Trivial merge