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.

Sign up for GitHub

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

Jump to bottom

[beta] Fix wrong validation clasisfication of Option<&T>::Some values #55581

Merged
merged 1 commit into from
Nov 1, 2018
Merged

[beta] Fix wrong validation clasisfication of Option<&T>::Some values #55581

merged 1 commit into from
Nov 1, 2018

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Nov 1, 2018

r? @pietroalbini

original PR: #55474

@rust-highfive
Copy link
Collaborator

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 1, 2018
@pietroalbini
Copy link
Member

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Nov 1, 2018

📌 Commit b4b0744 has been approved by pietroalbini

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 1, 2018
@bors
Copy link
Contributor

bors commented Nov 1, 2018

⌛ Testing commit b4b0744 with merge 04da282...

bors added a commit that referenced this pull request Nov 1, 2018
@bors
Auto merge of #55581 - oli-obk:beta, r=pietroalbini
04da282 
[beta] Fix wrong validation clasisfication of `Option<&T>::Some` values

r? @pietroalbini

original PR: #55474
@bors
Copy link
Contributor

bors commented Nov 1, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: pietroalbini
Pushing 04da282 to beta...

@bors bors merged commit b4b0744 into rust-lang:beta Nov 1, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@pietroalbini pietroalbini

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@oli-obk @rust-highfive @pietroalbini @bors