Merge pull request #1724 from zoddicus/roll_spirv
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 12 Mar 2019 17:16:57 +0000 (00:16 +0700)
committerGitHub <noreply@github.com>
Tue, 12 Mar 2019 17:16:57 +0000 (00:16 +0700)
commitf925eefb2147fded88099fe7943b80e3b9d17cc4
tree061cee87cabe9611b70cf6f6bb50dd0e5bfae4d1
parent437a552f51ec2042aac7f52826b1fd8281998ff8
parent938ab9a6e5e27041b4674ea45e5b29b357b7acc6
Merge pull request #1724 from zoddicus/roll_spirv

Update SPIRV-Tools and Headers