Merge pull request #2019 from KhronosGroup/fix-2014-dont-and-versions-extensions
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 9 Dec 2019 17:18:17 +0000 (10:18 -0700)
committerGitHub <noreply@github.com>
Mon, 9 Dec 2019 17:18:17 +0000 (10:18 -0700)
Fix: #2014: Don't do "extension-on && version >= ..." keyword checks.


Trivial merge