Skip to content

Conversation

@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented May 29, 2016

📌 Commit 1aaa7b2 has been approved by GuillaumeGomez

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

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

@bors
Copy link
Collaborator

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
Collaborator

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
Collaborator

bors commented May 29, 2016

📌 Commit 59aef48 has been approved by GuillaumeGomez

@bors
Copy link
Collaborator

bors commented May 29, 2016

⌛ Testing commit 59aef48 with merge a5f2818...

@bors
Copy link
Collaborator

bors commented May 29, 2016

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

@bors
Copy link
Collaborator

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