Merge pull request #9804 from woodychow:optimize_cveigen
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 12 Dec 2017 14:58:04 +0000 (14:58 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 12 Dec 2017 14:58:04 +0000 (14:58 +0000)

Trivial merge