diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-05 09:11:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-05 09:11:15 -0500 |
| commit | 8205575488545253d496f1095e607a60e8d1e14e (patch) | |
| tree | 0dde3d7f55c07049124a20a9fe066a25d458034f /components/script/task_source/websocket.rs | |
| parent | ff7c6953c8f98a5bcc54e9b47ab4dff7fba7ea81 (diff) | |
| parent | fb28cc7fb51570655db8e1d8684a1029fc4771fa (diff) | |
| download | servo-8205575488545253d496f1095e607a60e8d1e14e.tar.gz servo-8205575488545253d496f1095e607a60e8d1e14e.zip | |
Auto merge of #21864 - ferjm:android.gst.binaries.update, r=SimonSapin
Update GStreamer binaries for Android. Include required codecs
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
This should finally work for both armv7 and x86. I moved the binaries from Github to S3.
<!-- 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/21864)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source/websocket.rs')
0 files changed, 0 insertions, 0 deletions