diff options
| author | David Spickett <spickettdavid@googlemail.com> | 2023-11-10 15:11:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-11 00:11:39 +0900 |
| commit | 96d70de879ce8e736f8ce7732096ef6516506246 (patch) | |
| tree | 67e640d2c44e835ef7a0f671c8acb7c5f8e71e52 /src/doc | |
| parent | 8f21c12dca5b385113d4e5a45209ed1db24d13c1 (diff) | |
| download | rust-96d70de879ce8e736f8ce7732096ef6516506246.tar.gz rust-96d70de879ce8e736f8ce7732096ef6516506246.zip | |
Fix typo in contribution walkthrough (#1824)
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 5e22f10e438..b8311b19a70 100644 --- a/src/doc/rustc-dev-guide/src/walkthrough.md +++ b/src/doc/rustc-dev-guide/src/walkthrough.md @@ -181,7 +181,7 @@ gate is removed when the feature is stabilized. make your changes/improvements. When you open a PR on the [rust-lang/rust], a bot will assign your PR to a -review. If there is a particular Rust team member you are working with, you can +reviewer. If there is a particular Rust team member you are working with, you can request that reviewer by leaving a comment on the thread with `r? @reviewer-github-id` (e.g. `r? @eddyb`). If you don't know who to request, don't request anyone; the bot will assign someone automatically based on which files you changed. |