diff options
| author | Eric Holk <eric.holk@gmail.com> | 2021-07-07 16:27:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-08 01:27:47 +0200 |
| commit | bec4406ccf24dc786c12fb2682cb772c171505ee (patch) | |
| tree | 506a70884c76915ef21b37612bd201df5274ad7a /src/doc | |
| parent | 8b96cd0b64d6a903b1c9bdf60def334e91f91cc9 (diff) | |
| download | rust-bec4406ccf24dc786c12fb2682cb772c171505ee.tar.gz rust-bec4406ccf24dc786c12fb2682cb772c171505ee.zip | |
Minor capitalization fix (#1170)
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/walkthrough.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/walkthrough.md b/src/doc/rustc-dev-guide/src/walkthrough.md index b0d040942e7..5841afe4f54 100644 --- a/src/doc/rustc-dev-guide/src/walkthrough.md +++ b/src/doc/rustc-dev-guide/src/walkthrough.md @@ -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 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. When your reviewer approves the PR, it will go into a queue for yet another bot |