Merge branch 'dead-code' of https://github.com/dneto0/glslang into dneto0-dead-code
authorJohn Kessenich <cepheus@frii.com>
Fri, 1 Nov 2019 17:02:55 +0000 (11:02 -0600)
committerJohn Kessenich <cepheus@frii.com>
Fri, 1 Nov 2019 17:02:55 +0000 (11:02 -0600)

Trivial merge