Merge pull request #10097 from wzw-intel:tuning_time
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Nov 2017 09:34:42 +0000 (09:34 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Nov 2017 09:34:42 +0000 (09:34 +0000)

Trivial merge