diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-03-15 14:45:34 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-15 14:45:34 -0400 |
| commit | 40f833cb2a6ee96bf426c71c7de55f563039f057 (patch) | |
| tree | 396cfeb57a3513e5b245803d3de7a47f56d1e052 /python/servo | |
| parent | 8f1783e75f7604df804ea8cb142054e6f70f2863 (diff) | |
| parent | bca83473882a86a0ae38e1e4069d6e889bf67e56 (diff) | |
| download | servo-40f833cb2a6ee96bf426c71c7de55f563039f057.tar.gz servo-40f833cb2a6ee96bf426c71c7de55f563039f057.zip | |
Auto merge of #20291 - jdm:updatesyncstatus, r=asajeffrey
Update the in-tree status of WPT syncing.
This avoids an issue with performing the manual WPT upstream operation.
<!-- 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/20291)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo')
0 files changed, 0 insertions, 0 deletions