Merge pull request #3323 from rubenk/cuda-fix-build
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Mon, 28 Oct 2019 16:51:17 +0000 (17:51 +0100)
committerGitHub <noreply@github.com>
Mon, 28 Oct 2019 16:51:17 +0000 (17:51 +0100)
commit3ae15e7777b061d639c902dcc102bbac40eadf25
tree5bf057dda22ed0847940b3b3956fc7bb7a153765
parent58022ad46a27e422b326bd3f3dd8f408437f356c
parent52925562221bb68a406e22f6db52ded421bd8dc1
Merge pull request #3323 from rubenk/cuda-fix-build

gpu_nvidia plugin: fix build