Merge pull request #1819 from jeffbolznv/demote
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 2 Jul 2019 17:04:44 +0000 (11:04 -0600)
committerGitHub <noreply@github.com>
Tue, 2 Jul 2019 17:04:44 +0000 (11:04 -0600)
commit22683b409e6df419da940df561b24b4b5d8ab90a
treeb034aa80a084cbf2cfe3944df876a2fbbb3ce54d
parente5c394bcbaf33bbd53b859c71352571791a2c917
parent6a50a7850d9fe6fea5eb911dfd19f7efe9057481
Merge pull request #1819 from jeffbolznv/demote

update spirv-headers to pick up demote_to_helper_invocation