Skip to content

/ servo

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

Revert "Auto merge of #16566" #17107

Merged
merged 1 commit into from May 31, 2017
Merged

Revert "Auto merge of #16566" #17107

merged 1 commit into from May 31, 2017

Conversation

@nox
Copy link
Member

nox commented May 31, 2017 •
edited by larsbergstrom

This change is Reviewable
@nox
Revert "Auto merge of #16566 - aneeshusa:remove-android-sdk-override,…
Loading status checks…
8790166 
… r=larsbergstrom"

This reverts commit 779edd7, reversing
changes made to 31c7198.
@highfive
Copy link

highfive commented May 31, 2017

Heads up! This PR modifies the following files:
@nox
Copy link
Member Author

nox commented May 31, 2017

@bors-servo r=larsbergstrom p=1987
@bors-servo
Copy link
Contributor

bors-servo commented May 31, 2017

📌 Commit 8790166 has been approved by larsbergstrom
@highfive highfive assigned larsbergstrom and unassigned emilio May 31, 2017
@bors-servo
Copy link
Contributor

bors-servo commented May 31, 2017

⌛ Testing commit 8790166 with merge c018340...
bors-servo added a commit that referenced this pull request May 31, 2017
@bors-servo
Auto merge of #17107 - servo:android, r=larsbergstrom
Loading status checks…
c018340 
Revert "Auto merge of #16566"
@nox nox mentioned this pull request May 31, 2017
Merged
@bors-servo bors-servo mentioned this pull request May 31, 2017
Merged
2 of 2 tasks complete
@jdm jdm mentioned this pull request May 31, 2017
Open
@bors-servo
Copy link
Contributor

bors-servo commented May 31, 2017

☀️ Test successful - android, arm32, arm64, linux-dev, linux-rel-css, linux-rel-wpt, mac-dev-unit, mac-rel-css1, mac-rel-css2, mac-rel-wpt1, mac-rel-wpt2, mac-rel-wpt3, mac-rel-wpt4, windows-msvc-dev
Approved by: larsbergstrom
Pushing c018340 to master...
@bors-servo bors-servo merged commit 8790166 into master May 31, 2017
3 of 4 checks passed
3 of 4 checks passed
dependency-ci Checking Dependencies
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the android branch Jun 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@larsbergstrom larsbergstrom

Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
@nox @highfive @bors-servo @larsbergstrom @emilio
You can’t perform that action at this time.