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.

Sign up for GitHub

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

Jump to bottom

Fix the build. #7359

Merged
merged 2 commits into from Aug 25, 2015
Merged

Fix the build. #7359

merged 2 commits into from Aug 25, 2015

Conversation

Ms2ger
Copy link
Contributor

@Ms2ger Ms2ger commented Aug 25, 2015

Review on Reviewable

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Aug 25, 2015
@Ms2ger
Copy link
Contributor Author

Ms2ger commented Aug 25, 2015

@bors-servo p=9999999

@jdm
Copy link
Member

jdm commented Aug 25, 2015

@bors-servo: r+

@bors-servo
Copy link
Contributor

📌 Commit 13086ab has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit 13086ab with merge 4d0b4a7...

bors-servo pushed a commit that referenced this pull request Aug 25, 2015
Auto merge of #7359 - servo:build, r=jdm
4d0b4a7 
Fix the build.
@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 Aug 25, 2015
@bors-servo
Copy link
Contributor

☀️ Test successful - android, gonk, linux1, linux2, mac1, mac2, mac3

@bors-servo bors-servo merged commit 13086ab into master Aug 25, 2015
@Ms2ger Ms2ger mentioned this pull request Aug 25, 2015
Closed
@jdm jdm mentioned this pull request Aug 26, 2015
Closed
@Ms2ger Ms2ger deleted the build branch August 28, 2015 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@Ms2ger @jdm @bors-servo @highfive