Skip to content

Conversation

codesurf42
Copy link

fixed to a correct output message

fixed to a correct output message
@rustbot
Copy link
Collaborator

rustbot commented Oct 5, 2025

r? @marioidival

rustbot has assigned @marioidival.
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

@codesurf42
Copy link
Author

sorry, too quickly reading through, not needed

@codesurf42 codesurf42 closed this Oct 5, 2025
@codesurf42 codesurf42 deleted the patch-1 branch October 5, 2025 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants