Skip to content

doc rewording#42241

Merged
bors merged 1 commit into
rust-lang:masterfrom
king6cong:master
May 26, 2017
Merged

doc rewording#42241
bors merged 1 commit into
rust-lang:masterfrom
king6cong:master

Conversation

@king6cong

Copy link
Copy Markdown
Contributor

No description provided.

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @BurntSushi

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

@steveklabnik

Copy link
Copy Markdown
Contributor

@bors: r+ rollup

thanks!

@bors

bors commented May 26, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit e66388d has been approved by steveklabnik

frewsxcv added a commit to frewsxcv/rust that referenced this pull request May 26, 2017
frewsxcv added a commit to frewsxcv/rust that referenced this pull request May 26, 2017
bors added a commit that referenced this pull request May 26, 2017
Rollup of 7 pull requests

- Successful merges: #42169, #42215, #42216, #42224, #42230, #42236, #42241
- Failed merges:
@bors

bors commented May 26, 2017

Copy link
Copy Markdown
Collaborator

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

@bors bors merged commit e66388d into rust-lang:master May 26, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants