Skip to content

Add missing urls in Option enum #40671

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
Merged
merged 1 commit into from
Mar 21, 2017
Merged

Add missing urls in Option enum #40671

merged 1 commit into from
Mar 21, 2017

Conversation

GuillaumeGomez
Copy link
Member

r? @rust-lang/docs

@frewsxcv
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Mar 21, 2017

📌 Commit 17a26ee has been approved by frewsxcv

frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 21, 2017
@frewsxcv
Rollup merge of rust-lang#40671 - GuillaumeGomez:options-urls, r=frew…
bf3f77b 
…sxcv

Add missing urls in Option enum

r? @rust-lang/docs
@frewsxcv frewsxcv mentioned this pull request Mar 21, 2017
Merged
bors added a commit that referenced this pull request Mar 21, 2017
@bors
Auto merge of #40693 - frewsxcv:rollup, r=frewsxcv
58c701f 
Rollup of 10 pull requests

- Successful merges: #40229, #40312, #40332, #40502, #40556, #40576, #40667, #40671, #40681, #40685
- Failed merges:
@bors bors merged commit 17a26ee into rust-lang:master Mar 21, 2017
@GuillaumeGomez GuillaumeGomez deleted the options-urls branch March 22, 2017 10:02
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@GuillaumeGomez @frewsxcv @bors