Merge pull request #9983 from dkurt:fix_halide_copy_to_device
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 2 Nov 2017 12:01:39 +0000 (12:01 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 2 Nov 2017 12:01:39 +0000 (12:01 +0000)

Trivial merge