Skip to content

Android build fix#100

Merged
bors-servo merged 1 commit intoservo:masterfrom
kvark:android
Dec 14, 2016
Merged

Android build fix#100
bors-servo merged 1 commit intoservo:masterfrom
kvark:android

Conversation

@kvark
Copy link
Copy Markdown
Member

@kvark kvark commented Dec 14, 2016

r? @pcwalton


This change is Reviewable

@glennw
Copy link
Copy Markdown
Member

glennw commented Dec 14, 2016

@bors-servo r+

@bors-servo
Copy link
Copy Markdown
Contributor

📌 Commit a84a8e3 has been approved by glennw

@bors-servo
Copy link
Copy Markdown
Contributor

⌛ Testing commit a84a8e3 with merge cac03d2...

bors-servo pushed a commit that referenced this pull request Dec 14, 2016
@bors-servo
Copy link
Copy Markdown
Contributor

☀️ Test successful - status-travis

@bors-servo bors-servo merged commit a84a8e3 into servo:master Dec 14, 2016
@kvark kvark deleted the android branch December 14, 2016 20:38
bors-servo pushed a commit to servo/webrender that referenced this pull request Dec 15, 2016
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.

3 participants