Merge pull request #7033 from tomoaki0705:brushUpFp16
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 4 Aug 2016 09:31:52 +0000 (09:31 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 4 Aug 2016 09:31:52 +0000 (09:31 +0000)

Trivial merge