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 some comments #16206

Merged
merged 1 commit into from
Dec 29, 2023
Merged

Fix some comments #16206

merged 1 commit into from
Dec 29, 2023

Conversation

cuishuang
Copy link
Contributor

No description provided.

Signed-off-by: cui fliter <[email protected]>
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 29, 2023
@lnicola
Copy link
Member

lnicola commented Dec 29, 2023

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Dec 29, 2023

📌 Commit 638df27 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 29, 2023

⌛ Testing commit 638df27 with merge e1e4626...

@bors
Copy link
Contributor

bors commented Dec 29, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing e1e4626 to master...

@bors bors merged commit e1e4626 into rust-lang:master Dec 29, 2023
9 checks passed
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