diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-13 08:04:50 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-13 08:04:50 +0530 |
| commit | 118fbd6120fdcbec04858ecddb3ac8be882f4da1 (patch) | |
| tree | e680f895708316a07c019a022b4804cb0fa28ae4 /components/script/dom/htmlvideoelement.rs | |
| parent | 62acdd303b78951885c2c90747b31f318907d6c9 (diff) | |
| parent | 4fccb9e74fee8d169870ef338b271629a7926641 (diff) | |
| download | servo-118fbd6120fdcbec04858ecddb3ac8be882f4da1.tar.gz servo-118fbd6120fdcbec04858ecddb3ac8be882f4da1.zip | |
Auto merge of #8493 - notriddle:fct_cleanup, r=jdm
Clean up use of Option in `font_cache_task`.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8493)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlvideoelement.rs')
0 files changed, 0 insertions, 0 deletions