projects / platform / upstream / glslang.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9f2236e 3831706)
Merge pull request #1845 from greg-lunarg/kg105
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 22 Jul 2019 12:30:59 +0000 (06:30 -0600)
committerGitHub <noreply@github.com>
Mon, 22 Jul 2019 12:30:59 +0000 (06:30 -0600)
Update spirv-tools and spirv-headers known good.


Trivial merge
Domain: Graphics System / GL;