Merge pull request #11919 from dkurt:dnn_replace_convert_fp16
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 9 Jul 2018 14:07:37 +0000 (14:07 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 9 Jul 2018 14:07:37 +0000 (14:07 +0000)

Trivial merge