Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync WPT with upstream (18-10-2018) #21984

Merged
merged 1 commit into from Oct 19, 2018

Conversation

servo-wpt-sync
Copy link
Collaborator

@servo-wpt-sync servo-wpt-sync commented Oct 19, 2018

Automated downstream sync of changes from upstream as of 18-10-2018.
[no-wpt-sync]


This change is Reviewable

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Oct 19, 2018
@jdm
Copy link
Member

jdm commented Oct 19, 2018

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit d0eccdb has been approved by jdm

@highfive highfive assigned jdm and unassigned paulrouget Oct 19, 2018
@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Oct 19, 2018
@bors-servo
Copy link
Contributor

⌛ Testing commit d0eccdb with merge 326701c...

bors-servo pushed a commit that referenced this pull request Oct 19, 2018
Sync WPT with upstream (18-10-2018)

Automated downstream sync of changes from upstream as of 18-10-2018.
[no-wpt-sync]

<!-- 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/21984)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

@bors-servo bors-servo merged commit d0eccdb into servo:master Oct 19, 2018
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Oct 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants