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.

Sign up for GitHub

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

Jump to bottom

Rollup of 23 pull requests #33597

Closed

eddyb wants to merge 0 commits into rust-lang:master from eddyb:rollup

Member

eddyb commented May 12, 2016

rust-highfive assigned arielb1

Collaborator

rust-highfive commented May 12, 2016

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

Member Author

eddyb commented May 12, 2016

Contributor

bors commented May 12, 2016

📌 Commit dbd5968 has been approved by eddyb

Member Author

eddyb commented May 12, 2016

@bors p=10

Member Author

eddyb commented May 12, 2016

@bors force

Contributor

bors commented May 12, 2016

⌛ Testing commit dbd5968 with merge 2c5ce8c...

bors added a commit that referenced this pull request


          Auto merge of #33597 - eddyb:rollup, r=eddyb

2c5ce8c

Rollup of 23 pull requests

- Successful merges: #33282, #33342, #33393, #33450, #33513, #33517, #33531, #33532, #33533, #33534, #33538, #33541, #33544, #33552, #33555, #33560, #33563, #33565, #33566, #33572, #33580, #33590, #33596
- Failed merges: #33578

Contributor

bors commented May 12, 2016

💔 Test failed - auto-linux-64-opt-mir

eddyb closed this

eddyb force-pushed the rollup branch from dbd5968 to e88defe Compare

May 13, 2016 02:04

Centril added the rollup label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rollup