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 8 pull requests #36536

Merged
merged 16 commits into from
Sep 16, 2016
Merged

Rollup of 8 pull requests #36536

merged 16 commits into from
Sep 16, 2016

Conversation

Mark-Simulacrum and others added 16 commits August 11, 2016 15:42
…r-docs, r=GuillaumeGomez

Tweak std::marker docs

Fixes rust-lang#29361.

r? @GuillaumeGomez
Don't ignore a doc code-block we can compile.
Default RUST_MIN_STACK to 16MiB for now

Temporary(?) workaround to rust-lang#35408.

cc @nikomatsakis if you want to veto the idea.

r? @eddyb
Try to support py3 with rustbuild better

Annoying to have it fail when you run with `python` only to have to rerun later with `python2`.

r? @alexcrichton
…illaumeGomez

Add example in AsMut trait documentation

Let me know of any changes I should make.

r? @GuillaumeGomez
…r=apasel422

Fix language in documentation comment.
@sophiajt
Copy link
Contributor Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Sep 16, 2016

📌 Commit ab7425d has been approved by jonathandturner

@rust-highfive
Copy link
Collaborator

r? @brson

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

@bors
Copy link
Contributor

bors commented Sep 16, 2016

⌛ Testing commit ab7425d with merge 55a61a1...

bors added a commit that referenced this pull request Sep 16, 2016
Rollup of 8 pull requests

- Successful merges: #36383, #36424, #36480, #36484, #36505, #36509, #36519, #36521
- Failed merges:
@bors bors merged commit ab7425d into rust-lang:master Sep 16, 2016
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 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.