mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Typo

This commit is contained in:
Michele 2023-02-15 22:10:06 +00:00 committed by Tshepang Mbambo
parent 4a86a8dd74
commit df7970bf0d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/contributing.md
View File

@ -202,7 +202,7 @@ Periodically the changes made to subtree based dependencies need to be synchroni
repository and the upstream tool repositories. repository and the upstream tool repositories.
Subtree synchronizations are typically handled by the respective tool maintainers. Other users Subtree synchronizations are typically handled by the respective tool maintainers. Other users
are welcome to submit synchronization PRs, however, in order to do so you you will need to modify are welcome to submit synchronization PRs, however, in order to do so you will need to modify
your local git installation and follow a very precise set of instructions. your local git installation and follow a very precise set of instructions.
These instructions are documented, along with several useful tips and tricks, in the These instructions are documented, along with several useful tips and tricks, in the
[syncing subtree changes][clippy-sync-docs] section in Clippy's Contributing guide. [syncing subtree changes][clippy-sync-docs] section in Clippy's Contributing guide.