Skip to content

Conversation

alexcrichton
Copy link
Member

Closes #4545
Closes #5791
Closes #6470
Closes #8044

bors added a commit that referenced this pull request Oct 11, 2013
@bors bors closed this Oct 11, 2013
@bors bors merged commit 478c9b7 into rust-lang:master Oct 11, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants