Merge pull request #7 from KhronosGroup/master
authorNikhil Joshi <nikhilj@nvidia.com>
Tue, 2 Jul 2019 08:05:13 +0000 (13:35 +0530)
committerGitHub <noreply@github.com>
Tue, 2 Jul 2019 08:05:13 +0000 (13:35 +0530)
Merge master branch of Khronos


Trivial merge