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)
gpu_nvidia plugin: fix build


Trivial merge