diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-01-08 08:00:57 -0700 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-01-08 08:00:57 -0700 |
| commit | 1d7148c79f9124779a910fd5291c5fa0543b2dae (patch) | |
| tree | 39c86574fa33821af51560fb6991911328bdf4e2 /components/script/dom/htmlmediaelement.rs | |
| parent | 19cb0fa9e457c18b36944c2691c7491ee6eb9cd2 (diff) | |
| parent | 16c7060bc8ff91527ae97f8a3feee5706747b9c5 (diff) | |
| download | servo-1d7148c79f9124779a910fd5291c5fa0543b2dae.tar.gz servo-1d7148c79f9124779a910fd5291c5fa0543b2dae.zip | |
auto merge of #4554 : servo/servo/rustup_20141221, r=jdm
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 9346436eeb7..ea8dcfa4041 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -38,7 +38,7 @@ impl HTMLMediaElement { } } -#[deriving(PartialEq, Show)] +#[deriving(Copy, PartialEq, Show)] #[jstraceable] pub enum HTMLMediaElementTypeId { HTMLAudioElement, |