Skip to content

Conversation

arielb1
Copy link
Contributor

@arielb1 arielb1 commented Jun 30, 2015

Fixes #26636.

r? @eddyb

@eddyb
Copy link
Member

eddyb commented Jun 30, 2015

@bors r+

@bors
Copy link
Collaborator

bors commented Jun 30, 2015

📌 Commit cebb118 has been approved by eddyb

@bors
Copy link
Collaborator

bors commented Jun 30, 2015

⌛ Testing commit cebb118 with merge dc309d7...

bors added a commit that referenced this pull request Jun 30, 2015
@bors bors merged commit cebb118 into rust-lang:master Jun 30, 2015
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