diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-07-02 13:06:03 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 13:06:03 -0400 |
commit | c0a582471eb25555408d467d25dffc52d81d8f8c (patch) | |
tree | 823d172ea7bb8d342b94d11bc53eaeb51c8a0cc3 /components/script/dom/gpubuffer.rs | |
parent | 4d60fd8ea9cb58166f9684e177404260b0401517 (diff) | |
parent | c0df7e0a9a64e38b60cf5d494ac2bfe47bb670af (diff) | |
download | servo-c0a582471eb25555408d467d25dffc52d81d8f8c.tar.gz servo-c0a582471eb25555408d467d25dffc52d81d8f8c.zip |
Auto merge of #27151 - kunalmohan:gstreamer, r=jdm
Fix Gstreamer `undefined symbol: gst_webrtc_data_channel_state_get_type` error
<!-- Please describe your changes on the following line: -->
r?@jdm
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [X] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/dom/gpubuffer.rs')
0 files changed, 0 insertions, 0 deletions