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

Rollup of 7 pull requests #35683

Closed
wants to merge 15 commits into from
Closed

Rollup of 7 pull requests #35683

wants to merge 15 commits into from

Conversation

creativcoder and others added 15 commits August 10, 2016 17:44
The spacing seems inconsistent with existing style conventions.
Update E0207 label to report parameter type

Fixes rust-lang#35642.

r? @jonathandturner (Is this okay? I tagged you since it's a simple error fix similar to the other update ones.)
Improve `No stdlib` and related Documentation

This renames all lang item function names to the ones used in `libstd` and `libpanic_unwind`. It also explains the `eh_unwind_resume` lang item in the `libcore` documentation, where it was missing. A third function is also needed on certain compilation targets, so this was also added to the `No stdlib` documentation.
Fix spacing in code of closures.md

The spacing seems inconsistent with existing style conventions.
@rust-highfive
Copy link
Collaborator

r? @steveklabnik

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

@sophiajt
Copy link
Contributor Author

@bors r+

@bors
Copy link
Contributor

bors commented Aug 15, 2016

📌 Commit c0c9967 has been approved by jonathandturner

@bors
Copy link
Contributor

bors commented Aug 15, 2016

⌛ Testing commit c0c9967 with merge edd16a7...

@Manishearth
Copy link
Member

@bors retry force clean

@eddyb
Copy link
Member

eddyb commented Aug 17, 2016

This rollup has aged too much and lost its potency, please redo (I might, if I don't forget).

@eddyb eddyb closed this Aug 17, 2016
@Centril Centril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.