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

Fix false negative in [match_overlapping_arms] #7909

Merged
merged 2 commits into from Nov 5, 2021
Merged

Fix false negative in [match_overlapping_arms] #7909

merged 2 commits into from Nov 5, 2021

Conversation

ghost
Copy link

@ghost ghost commented Nov 1, 2021

changelog: Fix false negative in [match_overlapping_arms]

@rust-highfive
Copy link

r? @camsteffen

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Nov 1, 2021
@camsteffen
Copy link
Contributor

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Nov 5, 2021

📌 Commit 693df63 has been approved by camsteffen

@bors
Copy link
Contributor

bors commented Nov 5, 2021

⌛ Testing commit 693df63 with merge 85e2592...

@bors
Copy link
Contributor

bors commented Nov 5, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: camsteffen
Pushing 85e2592 to master...

@bors bors merged commit 85e2592 into rust-lang:master Nov 5, 2021
@ghost ghost deleted the fix-7816 branch November 6, 2021 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants