Skip to content
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

doc: use less awkward and less confusing language #33605

Merged
merged 1 commit into from
May 16, 2016
Merged

doc: use less awkward and less confusing language #33605

merged 1 commit into from
May 16, 2016

Conversation

tshepang
Copy link
Member

No description provided.

@rust-highfive
Copy link
Contributor

r? @aturon

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

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented May 13, 2016

📌 Commit 10c984a has been approved by steveklabnik

sanxiyn added a commit to sanxiyn/rust that referenced this pull request May 14, 2016
doc: use less awkward and less confusing language
bors added a commit that referenced this pull request May 14, 2016
Rollup of 15 pull requests

- Successful merges: #33342, #33393, #33415, #33475, #33517, #33533, #33534, #33565, #33580, #33590, #33591, #33598, #33603, #33604, #33605
- Failed merges: #33578
eddyb added a commit to eddyb/rust that referenced this pull request May 15, 2016
doc: use less awkward and less confusing language
bors added a commit that referenced this pull request May 16, 2016
@bors bors merged commit 10c984a into rust-lang:master May 16, 2016
@tshepang tshepang deleted the less-awkward branch May 16, 2016 15:50
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants