Skip to content

Conversation

tshepang
Copy link
Member

Shoud have been part of commit 0b13ee0

@rust-highfive
Copy link
Contributor

r? @alexcrichton

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

@alexcrichton
Copy link
Member

r? @steveklabnik

@steveklabnik
Copy link
Contributor

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 15, 2015

📌 Commit ea37fad has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Oct 15, 2015
Manishearth added a commit to Manishearth/rust that referenced this pull request Oct 15, 2015
bors added a commit that referenced this pull request Oct 15, 2015
@bors bors merged commit ea37fad into rust-lang:master Oct 15, 2015
@tshepang tshepang deleted the rename branch December 17, 2015 18:05
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