Merge pull request #1625 from jeffbolznv/update_spirv_tools
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 13 Dec 2018 01:18:25 +0000 (18:18 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Dec 2018 01:18:25 +0000 (18:18 -0700)
Update to newest SPIRV-Tools, emit default Binding decoration.


Trivial merge