diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-07-16 13:00:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-16 13:00:45 -0400 |
commit | bd730e7c168b4e1c4ed8f37bfeb6db08a8fe873d (patch) | |
tree | d0b98aabe753f46fd5c02b1d431df26404f8c4fa /components/script/dom/xr.rs | |
parent | 005320c08c9dc0a87ada445f66549c2140891975 (diff) | |
parent | 40ef4e9705953a27d273a9ffe239ca919e71cacd (diff) | |
download | servo-bd730e7c168b4e1c4ed8f37bfeb6db08a8fe873d.tar.gz servo-bd730e7c168b4e1c4ed8f37bfeb6db08a8fe873d.zip |
Auto merge of #23781 - servo-wpt-sync:wpt_update_16-07-2019, r=servo-wpt-sync
Sync WPT with upstream (16-07-2019)
Automated downstream sync of changes from upstream as of 16-07-2019.
[no-wpt-sync]
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23781)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/xr.rs')
0 files changed, 0 insertions, 0 deletions