Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #20291 - jdm:updatesyncstatus, r=asajeffrey

Browse source 
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 -->
This commit is contained in:
bors-servo 2018-03-15 14:45:34 -04:00 • committed by GitHub
commit 40f833cb2a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/wpt/metadata/mozilla-sync
View file

@ -1,2 +1,2 @@
local: c88dc51d03a81e9e405688ccd2baae75d61ffffd
upstream: 9ca21c6c87ccec0ff7fdb0fc896d6e9918f3e331
local: 84ce43284cd074fec9fafc7dd23bb3d2a1013d43
upstream: ef805cb3832c2deaf1ab8fc4f3353b65671e6f32