diff options
| author | bors-servo <servo-ops@mozilla.com> | 2021-11-01 10:19:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 10:19:52 -0400 |
| commit | 9693111c9744407730d7fc971a33800a831d575e (patch) | |
| tree | 1cab74ab2e5930190ad0febc9cca870cc986f0e5 /components/script/dom/htmlmediaelement.rs | |
| parent | 6734eab188b5264b8d0b11686f332d88205e8d1f (diff) | |
| parent | 01681e79c47ebfc45eaca18b79846e4fbe16a959 (diff) | |
| download | servo-9693111c9744407730d7fc971a33800a831d575e.tar.gz servo-9693111c9744407730d7fc971a33800a831d575e.zip | |
Auto merge of #28591 - servo:jdm-patch-51, r=jdm
Update rustc to latest nightly.
None
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 27af41c2b0e..fcb38aa1427 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -209,7 +209,7 @@ impl VideoFrameRenderer for MediaFrameRenderer { if let Some(old_image_key) = self.old_frame.take() { updates.push(ImageUpdate::DeleteImage(old_image_key)); } - } + }, Some((ref mut image_key, ref mut width, ref mut height)) => { self.old_frame = Some(*image_key); |