Skip to content

Conversation

todaymoon
Copy link
Contributor

Please write a short comment explaining your change (or "none" for internal only changes)

remove redundant words in comment

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Mar 26, 2025

r? @llogiq

rustbot has assigned @llogiq.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Mar 26, 2025
Signed-off-by: todaymoon <[email protected]>
@todaymoon todaymoon changed the title chore: remove redundant words in comment chore: fix some comments Mar 26, 2025
@samueltardieu samueltardieu added this pull request to the merge queue Mar 26, 2025
@samueltardieu
Copy link
Member

r? @samueltardieu
(since this is a trivial fix, I've pressed merge)

@rustbot rustbot assigned samueltardieu and unassigned llogiq Mar 26, 2025
Merged via the queue into rust-lang:master with commit fe4dd5b Mar 26, 2025
13 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