Skip to content

Conversation

fhahn
Copy link
Contributor

@fhahn fhahn commented Feb 24, 2016

No description provided.

@rust-highfive
Copy link
Contributor

r? @steveklabnik

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

@steveklabnik
Copy link
Member

@bors: r+ rollup

Thanks so much!

@bors
Copy link
Collaborator

bors commented Feb 24, 2016

📌 Commit 145190b has been approved by steveklabnik

Manishearth added a commit to Manishearth/rust that referenced this pull request Feb 24, 2016
bors added a commit that referenced this pull request Feb 24, 2016
@bors bors merged commit 145190b into rust-lang:master Feb 25, 2016
@fhahn fhahn deleted the capitalize-Rust branch July 4, 2016 21:08
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