Merge pull request #1211 from greg-lunarg/kg7
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 5 Jan 2018 19:01:03 +0000 (12:01 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Jan 2018 19:01:03 +0000 (12:01 -0700)
commit99892d5a9ad9609f45f4f4e1cb5a1ed52009bc9e
treee76c19f9ea72bafb0923b13ed7c4a26733158904
parent798d005ccdfb28ff8ec86658674c42db3c789abd
parentead4bb190fbd46b331f12a2dfa1a4856884d8ec3
Merge pull request #1211 from greg-lunarg/kg7

Update known good spirv-tools. Fixes issue #1205.