Skip to content

Conversation

Gankra
Copy link
Contributor

@Gankra Gankra commented Feb 12, 2015

No description provided.

@rust-highfive
Copy link
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@Gankra
Copy link
Contributor Author

Gankra commented Feb 12, 2015

Part of #22240

@Gankra Gankra mentioned this pull request Feb 13, 2015
@Gankra
Copy link
Contributor Author

Gankra commented Feb 13, 2015

rebased to remove conflicts with #22276

@alexcrichton
Copy link
Member

@bors: r+ 1e75a05

@bors
Copy link
Collaborator

bors commented Feb 15, 2015

⌛ Testing commit 1e75a05 with merge 342ab53...

@bors
Copy link
Collaborator

bors commented Feb 15, 2015

@bors bors merged commit 1e75a05 into rust-lang:master Feb 15, 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.

5 participants