servo

mirror of https://github.com/servo/servo synced 2026-05-09 08:32:31 +02:00

Files

bors-servo 581df9da2c Auto merge of #22806 - ferjm:webrtc.gst.plugins, r=jdm

Update gstreamer binaries for Android with webrtc related plugins

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors

I updated the binaries for Android with the required plugins for WebRTC as suggested [here](https://github.com/servo/servo/pull/22780#discussion_r252767768)

<!-- 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/22806)
<!-- Reviewable:end -->

2019-02-05 10:15:28 -05:00

lints

Update web-platform-tests to revision be5419e845d39089ba6dc338c1bd0fa279108317

2018-01-09 12:52:27 -05:00

mutation

Do not mutate if let

2018-02-21 08:07:30 -08:00

__init__.py

Fix tidy issues with Python files in python/

2015-06-02 19:51:41 -04:00

bootstrap_commands.py

Reduce log spam when running sdkmanager