bors-servo d7d9015518 Auto merge of #22239 - paulrouget:shutdown2, r=jdm ... shutdown synchronously --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [ ] These changes fix #__ (github issue number if applicable). <!-- Either: --> - [ ] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- 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/22239) <!-- Reviewable:end -->		2018-11-23 11:19:00 -05:00
..
android	Auto merge of #22239 - paulrouget:shutdown2, r=jdm	2018-11-23 11:19:00 -05:00
arm32	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
arm64	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
linux/gstreamer	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
magicleap	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
rust-task_info	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
windows	Windows installer: set GStreamer installation path based on registry search	2018-10-10 15:35:06 +02:00