Files
servo/support/android
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
..
2018-08-20 18:22:29 -04:00
2018-08-20 18:22:29 -04:00