Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-04 02:29:12 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/support
History
bors-servo 662fd0afa4
Auto merge of #22021 - paulrouget:shutdown, r=paulrouget 
Android: proper shutdown mechanism

Fix #21834

<!-- 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/22021)
<!-- Reviewable:end -->
2018-10-30 01:47:17 -04:00
..
android Auto merge of #22021 - paulrouget:shutdown, r=paulrouget 2018-10-30 01:47:17 -04:00
arm32 Upgraded to SM 60 2018-08-20 18:22:29 -04:00
arm64 Upgraded to SM 60 2018-08-20 18:22:29 -04:00
linux/gstreamer Review fixes 2018-09-11 19:34:38 +05:30
magicleap Support building for Magic Leap. 2018-10-29 08:49:41 -05:00
rust-task_info Remove our dependency on the gcc crate 2018-03-21 15:17:39 +01:00
windows Windows installer: set GStreamer installation path based on registry search 2018-10-10 15:35:06 +02:00