diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-21 06:46:21 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 06:46:21 -0400 |
| commit | f844ca5ebab72c5b3d94250253013f3be530140e (patch) | |
| tree | 167450da606928d02e1eddbaca34e2fc6d797a54 /components/script/dom/webgltexture.rs | |
| parent | 774673d186ecf08733f7e108a0e84d8467376b05 (diff) | |
| parent | 0c0d8ec686e7f5e29144101a526a2d5456085e99 (diff) | |
| download | servo-f844ca5ebab72c5b3d94250253013f3be530140e.tar.gz servo-f844ca5ebab72c5b3d94250253013f3be530140e.zip | |
Auto merge of #27343 - utsavoza:ugo/update-mozjs/21-07-2020, r=jdm
Update mozjs
Pick up [servo/rust-mozjs#517](https://github.com/servo/rust-mozjs/pull/517) and [servo/mozjs#256](https://github.com/servo/mozjs/pull/256)
Diffstat (limited to 'components/script/dom/webgltexture.rs')
0 files changed, 0 insertions, 0 deletions