Skip to content

Conversation

srinivasreddy
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)

@srinivasreddy
Copy link
Contributor Author

@nrc This looks good, lets merge it . r?@nrc

@rust-highfive rust-highfive assigned nrc and unassigned brson Oct 16, 2016
@nrc
Copy link
Member

nrc commented Oct 21, 2016

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 21, 2016

📌 Commit 54e320d has been approved by nrc

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Oct 21, 2016
bors added a commit that referenced this pull request Oct 22, 2016
Rollup of 10 pull requests

- Successful merges: #37043, #37209, #37211, #37219, #37244, #37253, #37286, #37297, #37309, #37314
- Failed merges:
@bors bors merged commit 54e320d into rust-lang:master Oct 22, 2016
@srinivasreddy srinivasreddy deleted the alt branch October 22, 2016 07:28
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