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

Minor capitalization fix (#1170)

This commit is contained in:
Eric Holk 2021-07-07 16:27:47 -07:00 committed by GitHub
parent 60e2825591
commit 1b56b09472
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/walkthrough.md
View File

@ -188,7 +188,7 @@ don't request anyone; the bot will assign someone automatically.
The reviewer may request changes before they approve your PR. Feel free to ask The reviewer may request changes before they approve your PR. Feel free to ask
questions or discuss things you don't understand or disagree with. However, questions or discuss things you don't understand or disagree with. However,
recognize that the PR won't be merged unless someone on the rust team approves recognize that the PR won't be merged unless someone on the Rust team approves
it. it.
When your reviewer approves the PR, it will go into a queue for yet another bot When your reviewer approves the PR, it will go into a queue for yet another bot