diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-10 06:17:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-10 06:17:15 -0500 |
commit | 826352ab4cae13f5154d13ab53885d80a8057337 (patch) | |
tree | 9b724d7eb665872e54e6d6b33642eebe81d409e8 /components/script/dom/htmlbaseelement.rs | |
parent | 55a7fd75b4c081a92ebdac932afbc9b19b91e87c (diff) | |
parent | e3fb99dd59ff9cc880053b9cdf35dc4b4d5de569 (diff) | |
download | servo-826352ab4cae13f5154d13ab53885d80a8057337.tar.gz servo-826352ab4cae13f5154d13ab53885d80a8057337.zip |
Auto merge of #18804 - servo:media, r=emilio
Another couple of low-key media improvements 👶👣
<!-- 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/18804)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlbaseelement.rs')
0 files changed, 0 insertions, 0 deletions