Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge in beta-accepted into beta #32291

Merged
merged 7 commits into from
Mar 22, 2016
Merged

Merge in beta-accepted into beta #32291

merged 7 commits into from
Mar 22, 2016

Conversation

@alexcrichton
Copy link
Member Author

r? @brson

@rust-highfive rust-highfive assigned brson and unassigned nrc Mar 16, 2016
@rust-highfive
Copy link
Collaborator

r? @nrc

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

@rust-highfive
Copy link
Collaborator

warning Warning warning

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

brson added a commit that referenced this pull request Mar 22, 2016
Merge in beta-accepted into beta
@brson brson merged commit 2879d94 into rust-lang:beta Mar 22, 2016
@alexcrichton alexcrichton deleted the beta-next branch March 22, 2016 22:20
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.

6 participants