Merge pull request #135 from vulturm/patch-1
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 17 Mar 2020 06:37:33 +0000 (00:37 -0600)
committerGitHub <noreply@github.com>
Tue, 17 Mar 2020 06:37:33 +0000 (00:37 -0600)
Also propagate SPIRV-Headers version to CMakeLists.txt


Trivial merge