Skip to content

Docstring: add missing term 'disjoint' from matches, rmatches - #42586

Merged
bors merged 1 commit into
rust-lang:masterfrom
ideasman42:patch-1
Jun 12, 2017
Merged

Docstring: add missing term 'disjoint' from matches, rmatches#42586
bors merged 1 commit into
rust-lang:masterfrom
ideasman42:patch-1

Conversation

@ideasman42

Copy link
Copy Markdown
Contributor

This follows match_indices

@ideasman42ideasman42 changed the title Add missing term 'disjoint' from matches, rmatchesDocstring: add missing term 'disjoint' from matches, rmatchesJun 10, 2017
@ideasman42ideasman42 changed the title Docstring: add missing term 'disjoint' from matches, rmatchesDocstring: add missing term 'disjoint' from match, rmatchJun 10, 2017
@ideasman42ideasman42 changed the title Docstring: add missing term 'disjoint' from match, rmatchDocstring: add missing term 'disjoint' from matches, rmatchesJun 10, 2017
@Mark-Simulacrum

Copy link
Copy Markdown
Member

r? @steveklabnik

@Mark-SimulacrumMark-Simulacrum added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 11, 2017
@steveklabnik

Copy link
Copy Markdown
Contributor

@bors: r+ rollup

thank you!

@bors

bors commented Jun 12, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit 11ee1b0 has been approved by steveklabnik

frewsxcv added a commit to frewsxcv/rust that referenced this pull request Jun 12, 2017
Docstring: add missing term 'disjoint' from matches, rmatches
This follows `match_indices`
@frewsxcvfrewsxcv mentioned this pull request Jun 12, 2017
bors added a commit that referenced this pull request Jun 12, 2017
Rollup of 4 pull requests
- Successful merges: #42579, #42586, #42592, #42594
- Failed merges:
@bors
bors merged commit 11ee1b0 into rust-lang:masterJun 12, 2017
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@ideasman42@Mark-Simulacrum@steveklabnik@bors