diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-02-07 21:43:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-07 21:43:36 -0500 |
commit | 0d7c2271c284bcc2d4bd005bd0e89f9a87eba636 (patch) | |
tree | de0399df4eec0f7e0bf78745810150be995b60c3 /components/script_layout_interface/lib.rs | |
parent | ced67db82dbc926d83f98d4a49bd025b59270933 (diff) | |
parent | 458d94a67e4ebc868390513ccf1f5171d6ad96d1 (diff) | |
download | servo-0d7c2271c284bcc2d4bd005bd0e89f9a87eba636.tar.gz servo-0d7c2271c284bcc2d4bd005bd0e89f9a87eba636.zip |
Auto merge of #19984 - upsuper:media-ident-atom, r=emilio
Use atom for identifier media features
This is the Servo side change of [bug 1435944](https://bugzilla.mozilla.org/show_bug.cgi?id=1435944).
<!-- 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/19984)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script_layout_interface/lib.rs')
0 files changed, 0 insertions, 0 deletions