Skip to content

Conversation

klutzy
Copy link
Contributor

@klutzy klutzy commented Nov 8, 2014

cc #12859

bors added a commit that referenced this pull request Nov 10, 2014
@bors bors closed this Nov 10, 2014
@bors bors merged commit 1df6be1 into rust-lang:master Nov 10, 2014
@klutzy klutzy deleted the cross branch November 10, 2014 06:59
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