Skip to content

Rollup of 10 pull requests #30445

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 19 commits into from
Dec 18, 2015
Merged

Rollup of 10 pull requests #30445

merged 19 commits into from
Dec 18, 2015

Conversation

zachreizner and others added 19 commits December 13, 2015 12:00
The Rustonomicon's Lifetimes chapter uses the idiom "big ask", which is obscure compared to "tall order" (check Google ngrams). Also, it's easily mistaken for a typo; either "a big task" or "a big thing to ask" could plausibly work there.
…abnik

…entation clearer

I could not use colors as suggested for rust-lang#29854 because Github doesn't support these in markdown, however this solution may be better for color-blind readers.
The comma removes the sorface ambiguity
…r=steveklabnik

The Rustonomicon's Lifetimes chapter uses the idiom "big ask", which is obscure compared to "tall order" (check [Google ngrams](https://books.google.com/ngrams/graph?content=big+ask%2C+tall+order&year_start=1800)). Also, it's easily mistaken for a typo; either "a big task" or "a big thing to ask" could plausibly work there.

r? @steveklabnik
@steveklabnik
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Dec 17, 2015

📌 Commit 7ad8fb9 has been approved by steveklabnik

@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 Dec 17, 2015

⌛ Testing commit 7ad8fb9 with merge 48700be...

bors added a commit that referenced this pull request Dec 17, 2015
1 similar comment
@bors bors merged commit 7ad8fb9 into rust-lang:master Dec 18, 2015
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants