Merge pull request #1480 from dneto0/stringify
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 20 Aug 2018 15:07:12 +0000 (08:07 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Aug 2018 15:07:12 +0000 (08:07 -0700)
Use our own SPIRV-Tools message stringifier


Trivial merge