Merge remote-tracking branch 'khronos/master' into HEAD
authorChris Forbes <chrisforbes@google.com>
Fri, 28 Sep 2018 00:00:58 +0000 (17:00 -0700)
committerChris Forbes <chrisforbes@google.com>
Fri, 28 Sep 2018 00:00:58 +0000 (17:00 -0700)
commit0236dfe58525be5b4b857b947271e5d442dbdf49
tree1d67600e3e676ef84c0b4e18df7c9718f2ea88fb
parentf5637d67a00a1081a13008bb8dc93b2616c935e2
parent65ac96b17b9ec096854671cf9250bdf7186fb108
Merge remote-tracking branch 'khronos/master' into HEAD

Change-Id: I5af8cea42c1f8fa18361ff1061e25e99385ca32e