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

Disable MIR on beta/stable until we've resolved #29227 is resolved. #29384

Merged
merged 1 commit into from
Oct 26, 2015

Conversation

nikomatsakis
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Collaborator

r? @arielb1

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

@nikomatsakis
Copy link
Contributor Author

r? @alexcrichton

@alexcrichton
Copy link
Member

@bors: r+ 2d5b8b0 p=1

@bors
Copy link
Contributor

bors commented Oct 26, 2015

⌛ Testing commit 2d5b8b0 with merge 2c42c98...

@bors bors merged commit 2d5b8b0 into rust-lang:master Oct 26, 2015
@nikomatsakis nikomatsakis deleted the mir-not-stable-beta branch March 30, 2016 16:16
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