diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-19 15:34:06 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-19 15:34:06 -0400 |
| commit | 9047ae97dd07f34f6325fc8b7071340f6dd6a28f (patch) | |
| tree | 1c642608c7a1206d170095cc87ae60019f9af32f /python/servo/build_commands.py | |
| parent | 7b653cad7b0d891e06e4847ad738f38a9510dd92 (diff) | |
| parent | d7bebce53787c535bbd3511855a8633a12986daa (diff) | |
| download | servo-9047ae97dd07f34f6325fc8b7071340f6dd6a28f.tar.gz servo-9047ae97dd07f34f6325fc8b7071340f6dd6a28f.zip | |
Auto merge of #24223 - ferjm:suspend.media.playback, r=jdm,gterzian
Suspend media after navigation
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #21989 and fix #22763
- [ ] I am not sure how to test this
This depends on https://github.com/servo/media/pull/310
<!-- 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/24223)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions