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

Jump to bottom

Update man pages #36152

Merged
merged 1 commit into from
Sep 1, 2016
Merged

Update man pages #36152

merged 1 commit into from
Sep 1, 2016

Conversation

dns2utf8
Copy link
Contributor

Until I finish #35438

@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

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

@nikomatsakis
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Aug 31, 2016

📌 Commit 5b5b853 has been approved by nikomatsakis

sophiajt pushed a commit to sophiajt/rust that referenced this pull request Aug 31, 2016
Rollup merge of rust-lang#36152 - dns2utf8:man_page_date, r=nikomatsakis
240d86b 
Update man pages

Until I finish rust-lang#35438
@sophiajt sophiajt mentioned this pull request Aug 31, 2016
Merged
bors added a commit that referenced this pull request Sep 1, 2016
@bors
Auto merge of #36177 - jonathandturner:rollup, r=jonathandturner
3135b78 
Rollup of 13 pull requests

- Successful merges: #35773, #35786, #35911, #35927, #36083, #36087, #36098, #36114, #36118, #36123, #36129, #36152, #36169
- Failed merges:
@bors bors merged commit 5b5b853 into rust-lang:master Sep 1, 2016
@dns2utf8 dns2utf8 deleted the man_page_date branch September 1, 2016 07:29
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@nikomatsakis nikomatsakis

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@dns2utf8 @rust-highfive @nikomatsakis @bors