Skip to content
This repository was archived by the owner on Aug 25, 2025. It is now read-only.

Conversation

antocout
Copy link

@antocout antocout commented Nov 3, 2023

Remove a duplicate word from a comment.

Signed-off-by: Antoine Coutant <[email protected]>
@rustbot
Copy link

rustbot commented Nov 3, 2023

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Mark-Simulacrum (or someone else) soon.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants