Skip to content

Conversation

ahmedcharles
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @brson

(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 brson Oct 12, 2015
@brson
Copy link
Contributor

brson commented Oct 12, 2015

@bors r+ rollup. Thanks!

@bors
Copy link
Collaborator

bors commented Oct 12, 2015

📌 Commit f65dbb1 has been approved by brson

@bors
Copy link
Collaborator

bors commented Oct 12, 2015

⌛ Testing commit f65dbb1 with merge 5c7dbf6...

@bors bors merged commit f65dbb1 into rust-lang:master Oct 12, 2015
@ahmedcharles ahmedcharles deleted the error-index-generator branch October 13, 2015 05: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