diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-14 02:03:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-14 02:03:52 -0400 |
| commit | d7433c9a6517f3e0596d9a227c6fabe167604a19 (patch) | |
| tree | 01cb69c287c3371bc0a7dc713ea470ea4ec3ffcb /python | |
| parent | 3aa55904d12ef073bab3e127155b85571afdbb52 (diff) | |
| parent | 1fbb3b39b001744260213232b4db7c08c184229f (diff) | |
| download | servo-d7433c9a6517f3e0596d9a227c6fabe167604a19.tar.gz servo-d7433c9a6517f3e0596d9a227c6fabe167604a19.zip | |
Auto merge of #23853 - ferjm:media.update, r=ceyusa
Fix HTMLMediaElement seek race condition
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
This depends on https://github.com/servo/media/pull/289 and it's blocked by the servo-media update issue mentioned [here](https://github.com/servo/servo/pull/23842#issuecomment-515007529)
<!-- 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/23853)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions