diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-07-20 17:11:58 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-20 17:11:58 -0400 |
commit | 1ded1ba9926f962bd84e9c949677009da06ea653 (patch) | |
tree | d15d33adb5bbedc84d6af0cd95f769037ed36931 /components/script/dom/webgltexture.rs | |
parent | 48bf169101dfe6d185d869cefe483cec16384c52 (diff) | |
parent | 5e7d025106cca89b7aea9694faafa5b28b550146 (diff) | |
download | servo-1ded1ba9926f962bd84e9c949677009da06ea653.tar.gz servo-1ded1ba9926f962bd84e9c949677009da06ea653.zip |
Auto merge of #27338 - jdm:exit-fix, r=Manishearth
Update webxr.
Fixes #27270.
Diffstat (limited to 'components/script/dom/webgltexture.rs')
0 files changed, 0 insertions, 0 deletions