diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-11 19:25:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-11 19:25:22 -0500 |
| commit | 31ee5fc2f567f6b5b82c5029a7c1b3008ae493ee (patch) | |
| tree | 019ebf352027dd4994696b12554eb8b6b4e3034a /components/script/task_source/timer.rs | |
| parent | 905f714bb4b2959f1735cc7469969696eac56d47 (diff) | |
| parent | 2436bd195a0852315efcda5f1c587f30a522fafd (diff) | |
| download | servo-31ee5fc2f567f6b5b82c5029a7c1b3008ae493ee.tar.gz servo-31ee5fc2f567f6b5b82c5029a7c1b3008ae493ee.zip | |
Auto merge of #24676 - Manishearth:unpatch, r=jdm
Remove patched webxr
Unsure if this compiles yet, testing locally.
r? @jdm
Diffstat (limited to 'components/script/task_source/timer.rs')
0 files changed, 0 insertions, 0 deletions