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

Nit re matches! formatting #11863

Merged
merged 1 commit into from
Nov 24, 2023
Merged

Nit re matches! formatting #11863

merged 1 commit into from
Nov 24, 2023

Conversation

smoelius
Copy link
Contributor

I think formatting matches! with if guards is still unsupported, which is probably why this was missed.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Nov 24, 2023

r? @dswij

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

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Nov 24, 2023
@dswij
Copy link
Member

dswij commented Nov 24, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Nov 24, 2023

📌 Commit 4937fba has been approved by dswij

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 24, 2023

⌛ Testing commit 4937fba with merge 3e7a63b...

@bors
Copy link
Contributor

bors commented Nov 24, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: dswij
Pushing 3e7a63b to master...

@bors bors merged commit 3e7a63b into rust-lang:master Nov 24, 2023
5 checks passed
@smoelius smoelius deleted the patch-1 branch November 25, 2023 02:17
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.

4 participants