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

Typo #11411

Merged
merged 1 commit into from Aug 26, 2023
Merged

Typo #11411

merged 1 commit into from Aug 26, 2023

Conversation

smoelius
Copy link
Contributor

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Aug 25, 2023

r? @Alexendoo

(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 Aug 25, 2023
@Alexendoo
Copy link
Member

👍

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 26, 2023

📌 Commit 7ff8716 has been approved by Alexendoo

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Aug 26, 2023

⌛ Testing commit 7ff8716 with merge 8c20739...

@bors
Copy link
Collaborator

bors commented Aug 26, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Alexendoo
Pushing 8c20739 to master...

@bors bors merged commit 8c20739 into rust-lang:master Aug 26, 2023
5 checks passed
@smoelius smoelius deleted the patch-1 branch August 26, 2023 11:36
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.

None yet

4 participants