projects / platform / upstream / glslang.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5d88edf 8e18714)
Merge pull request #2214 from maierfelix/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 12 May 2020 03:55:22 +0000 (21:55 -0600)
committerGitHub <noreply@github.com>
Tue, 12 May 2020 03:55:22 +0000 (21:55 -0600)
Fix Web build


Trivial merge
Domain: Graphics System / GL;