diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-08-07 10:29:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 10:29:16 -0400 |
| commit | 8067a2fe9430e6685ce77916512dfec26a4c4c58 (patch) | |
| tree | 74f542f4fa2c2d9569fc6ac377fdbdd95c9f0817 /components/script/timers.rs | |
| parent | 5854e1500d8e4a958f858afdea63d973cca5ba4a (diff) | |
| parent | 47e6430d307c647b7c8232c20bc2edaf72ea2ef7 (diff) | |
| download | servo-8067a2fe9430e6685ce77916512dfec26a4c4c58.tar.gz servo-8067a2fe9430e6685ce77916512dfec26a4c4c58.zip | |
Auto merge of #27537 - jdm:armmedia, r=Manishearth
Use gstreamer on UWP targets
This fixes a regression that cause our arm64 builds to use the dummy media stack by default. Oops.
Fix #27531. Fix #27532.
Diffstat (limited to 'components/script/timers.rs')
0 files changed, 0 insertions, 0 deletions