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.

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

Make rustc_mir pass rustdoc #32932

Merged
merged 2 commits into from
Apr 15, 2016
Merged

Make rustc_mir pass rustdoc #32932

merged 2 commits into from
Apr 15, 2016

Conversation

Manishearth
Copy link
Member

No description provided.

@eddyb
Copy link
Member

eddyb commented Apr 13, 2016

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Apr 13, 2016

📌 Commit 3e93a6e has been approved by eddyb

@bors
Copy link
Contributor

bors commented Apr 13, 2016

💡 This pull request was already approved, no need to approve it again.

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Apr 14, 2016
@steveklabnik
Rollup merge of rust-lang#32932 - Manishearth:fx-mir, r=bluss
302f2aa 
Make rustc_mir pass rustdoc

None
@steveklabnik steveklabnik mentioned this pull request Apr 14, 2016
Merged
@bors
Copy link
Contributor

bors commented Apr 14, 2016

⌛ Testing commit 3e93a6e with merge 5f44f98...

@bors
Copy link
Contributor

bors commented Apr 14, 2016

💔 Test failed - auto-win-msvc-64-opt-rustbuild

@Manishearth
Copy link
Member Author

@bors retry

bors added a commit that referenced this pull request Apr 14, 2016
@bors
Auto merge of #32960 - steveklabnik:rollup, r=steveklabnik
2174bd9 
Rollup of 15 pull requests

- Successful merges: #32646, #32855, #32856, #32865, #32868, #32869, #32876, #32884, #32885, #32893, #32894, #32932, #32937, #32940, #32941
- Failed merges: #32912
@bors bors merged commit 3e93a6e into rust-lang:master Apr 15, 2016
@Manishearth Manishearth deleted the fx-mir branch December 2, 2016 19:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Manishearth @eddyb @bors