diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-04 15:14:27 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-04 15:14:27 -0500 |
| commit | cc131be2e0f48924ffc8cdfc017fc23c361f1140 (patch) | |
| tree | d6e7b951f70e30869a40b367cd25c61e50af73e0 /components/script_traits/lib.rs | |
| parent | cfb401eea938a6546f7899994d6a6391e1701e3b (diff) | |
| parent | bc2e1e2151eeed05c277aabb9662fc90a6070635 (diff) | |
| download | servo-cc131be2e0f48924ffc8cdfc017fc23c361f1140.tar.gz servo-cc131be2e0f48924ffc8cdfc017fc23c361f1140.zip | |
Auto merge of #22968 - jdm:wptsyncfix, r=jgraham
Do not store state when syncing WPT.
This eliminates unnecessary state saving during the syncing process which was broken by recent changes upstream. This also incorporates the changes from https://hg.mozilla.org/mozilla-central/rev/bc1c54e5dcea which were never synced, causing the command line argument to be useless until the divergence is resolved.
<!-- 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/22968)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script_traits/lib.rs')
0 files changed, 0 insertions, 0 deletions