diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-07-26 22:58:19 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-26 22:58:19 -0400 |
| commit | f78dd6142e0b87492e0f8d5668c333a18a0cf780 (patch) | |
| tree | b924ea4552e861656994065b44b689a0b2d15ab4 /components/script/dom/xr.rs | |
| parent | 5c8fee4e0bdf01efc83f4db10a60ac1629db6795 (diff) | |
| parent | c6a2f6eb054c481f4deb17e01918ba5b06382228 (diff) | |
| download | servo-f78dd6142e0b87492e0f8d5668c333a18a0cf780.tar.gz servo-f78dd6142e0b87492e0f8d5668c333a18a0cf780.zip | |
Auto merge of #23866 - paulrouget:shutdown, r=jdm
Hololens: Fix shutdown
Fixes #23859
<!-- 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/23866)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/xr.rs')
0 files changed, 0 insertions, 0 deletions