diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-20 10:05:41 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-20 10:05:41 -0400 |
commit | a6dbfdd29f9b3f0ce0c13adc79fad99538a9a44b (patch) | |
tree | 317112cad271bc85a67f22ca146909dbb4604e8f /components/script/dom/htmlsourceelement.rs | |
parent | ee1e11fbce961691d49b718301998b8ecab5be01 (diff) | |
parent | f796ff228c3e61aa84004e7c656196e87cec2d6a (diff) | |
download | servo-a6dbfdd29f9b3f0ce0c13adc79fad99538a9a44b.tar.gz servo-a6dbfdd29f9b3f0ce0c13adc79fad99538a9a44b.zip |
Auto merge of #21752 - jdm:tmpmeta, r=jdm
Update syncing metadata.
This makes the manual upstream syncing process a bit easier.
<!-- 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/21752)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlsourceelement.rs')
0 files changed, 0 insertions, 0 deletions