Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Improve some Option code example #32464

Merged
merged 1 commit into from
Mar 24, 2016
Merged

Conversation

GuillaumeGomez
Copy link
Member

Part of #29366.

r? @steveklabnik

@steveklabnik
Copy link
Member

I don't know why Travis is being weird, but this looks fine to me, let's see what bors says

@bors: r+ rollup

@bors
Copy link
Contributor

bors commented Mar 24, 2016

📌 Commit b922d1a has been approved by steveklabnik

@GuillaumeGomez
Copy link
Member Author

Some times it just fails to get the branch. When this is the case, you need to restart the build by hand. However, bors will check it so it should be ok.

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Mar 24, 2016
bors added a commit that referenced this pull request Mar 24, 2016
Rollup of 6 pull requests

- Successful merges: #32276, #32416, #32452, #32459, #32462, #32464
- Failed merges:
@bors bors merged commit b922d1a into rust-lang:master Mar 24, 2016
@GuillaumeGomez GuillaumeGomez deleted the patch-6 branch March 25, 2016 00:38
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.

3 participants