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 10 pull requests #33948

Closed
wants to merge 21 commits into from
Closed

Conversation

@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Contributor

bors commented May 29, 2016

📌 Commit 1aaa7b2 has been approved by GuillaumeGomez

@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

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

@bors
Copy link
Contributor

bors commented May 29, 2016

⌛ Testing commit 1aaa7b2 with merge 1d78a61...

bors added a commit that referenced this pull request May 29, 2016
Rollup of 10 pull requests

- Successful merges: #33793, #33893, #33902, #33912, #33913, #33914, #33917, #33931, #33937, #33938
- Failed merges:
@bors
Copy link
Contributor

bors commented May 29, 2016

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

…uillaumeGomez

Added examples/docs to split in str.rs

Added documentation clarifying the behavior of split when used with the empty string and contiguous separators. Addresses issue [33882](rust-lang#33882). This is my first time contributing to rust, so forgive me if I'm skipping any of the contribution steps.
Fixes rust-lang#33882
…umeGomez

run rustfmt on librustc_lint folder
…illaumeGomez

run rustfmt on librand folder
@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Contributor

bors commented May 29, 2016

📌 Commit 59aef48 has been approved by GuillaumeGomez

@bors
Copy link
Contributor

bors commented May 29, 2016

⌛ Testing commit 59aef48 with merge a5f2818...

@bors
Copy link
Contributor

bors commented May 29, 2016

💔 Test failed - auto-win-gnu-32-opt-rustbuild

@bors
Copy link
Contributor

bors commented May 30, 2016

☔ The latest upstream changes (presumably #33929) made this pull request unmergeable. Please resolve the merge conflicts.

@GuillaumeGomez GuillaumeGomez deleted the rollup branch May 30, 2016 21:02
@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.

7 participants