Skip to content

Conversation

@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Jul 22, 2019

This change is Reviewable

@jdm
Copy link
Member

jdm commented Jul 22, 2019

Looks like we need to run rustfmt as well.

@jdm
Copy link
Member

jdm commented Jul 22, 2019

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 39c0a00 has been approved by jdm

@highfive highfive assigned jdm and unassigned paulrouget Jul 22, 2019
@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 Jul 22, 2019
@bors-servo
Copy link
Contributor

⌛ Testing commit 39c0a00 with merge 4470035...

bors-servo pushed a commit that referenced this pull request Jul 23, 2019
Upgrade to rustc 1.38.0-nightly (273f42b59 2019-07-21)

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

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: jdm
Pushing 4470035 to master...

@bors-servo bors-servo merged commit 39c0a00 into master Jul 23, 2019
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jul 23, 2019
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.

6 participants