Merge pull request #1476 from greg-lunarg/kg24
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 17 Aug 2018 19:46:32 +0000 (12:46 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Aug 2018 19:46:32 +0000 (12:46 -0700)
Update SPIRV-Tools known good.


Trivial merge