Skip to content

Conversation

ruuda
Copy link
Contributor

@ruuda ruuda commented Jul 27, 2014

No description provided.

@steveklabnik
Copy link
Contributor

r+=me

@bors bors closed this Jul 27, 2014
@bors bors merged commit d799315 into rust-lang:master Jul 27, 2014
@ruuda ruuda deleted the patch-1 branch July 28, 2014 05:06
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 11, 2023
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.

4 participants