Skip to content

Conversation

@ahmedcharles
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

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

@ahmedcharles
Copy link
Contributor Author

r? @nrc

@rust-highfive rust-highfive assigned nrc and unassigned nikomatsakis Oct 12, 2015
@nrc
Copy link
Member

nrc commented Oct 12, 2015

@bors: r+ rollup

Thanks!

@bors
Copy link
Collaborator

bors commented Oct 12, 2015

📌 Commit e49a956 has been approved by nrc

@bors
Copy link
Collaborator

bors commented Oct 12, 2015

⌛ Testing commit e49a956 with merge 843e528...

bors added a commit that referenced this pull request Oct 12, 2015
@bors bors merged commit e49a956 into rust-lang:master Oct 12, 2015
@ahmedcharles ahmedcharles deleted the driver branch October 13, 2015 05:06
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