Auto merge of #18096 - glennw:update-wr-deinit, r=jdm

Update WR (new texture cache allocator, shader deinit path).

<!-- 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/18096)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-08-17 17:28:18 -05:00 committed by GitHub
commit f6a42ed9c1
4 changed files with 52 additions and 43 deletions

View file

@ -183,6 +183,8 @@ fn main() {
unregister_glutin_resize_handler(&window);
servo_wrapper.servo.deinit();
platform::deinit()
}