Merge pull request #1925 from greg-lunarg/kg107
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 11 Oct 2019 07:24:26 +0000 (01:24 -0600)
committerGitHub <noreply@github.com>
Fri, 11 Oct 2019 07:24:26 +0000 (01:24 -0600)
Update spirv-tools known good.


Trivial merge