Merge pull request #8072 from tomoaki0705:AVXcorner
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 25 Jan 2017 16:10:59 +0000 (16:10 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 25 Jan 2017 16:10:59 +0000 (16:10 +0000)

Trivial merge