Merge pull request #2343 from KhronosGroup/fix-non-determinism
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 14 Jul 2020 08:13:22 +0000 (15:13 +0700)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 08:13:22 +0000 (15:13 +0700)
Fix recently found non-determinism with gl_WorldToObject3x4EXT.


Trivial merge