Merge pull request #1817 from jeffbolznv/demote
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 2 Jul 2019 08:20:18 +0000 (02:20 -0600)
committerGitHub <noreply@github.com>
Tue, 2 Jul 2019 08:20:18 +0000 (02:20 -0600)
Implement GL_EXT_demote_to_helper_invocation


Trivial merge