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

Remove a duplicate word.#125

Open
antocout wants to merge 1 commit intorust-lang:masterfrom
antocout:remove-duplicate-word
Open

Remove a duplicate word.#125
antocout wants to merge 1 commit intorust-lang:masterfrom
antocout:remove-duplicate-word

Conversation

@antocout
Copy link

@antocout antocout commented Nov 3, 2023

Remove a duplicate word from a comment.

Signed-off-by: Antoine Coutant <antoine.coutant@smile.fr>
@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