diff options
| author | İsmail Arılık <arilik.ismail@gmail.com> | 2023-07-24 15:11:58 +0300 |
|---|---|---|
| committer | Tshepang Mbambo <tshepang@gmail.com> | 2023-07-24 15:33:43 +0200 |
| commit | b8b5f808c0899072bce4c00cecc03965af5258a8 (patch) | |
| tree | 7e9101269ce5f852982371a87b56378afcee4e84 /src/doc/rustc-dev-guide | |
| parent | 13d6b5a485200413ad1af5bd07d89bf96049eee7 (diff) | |
| download | rust-b8b5f808c0899072bce4c00cecc03965af5258a8.tar.gz rust-b8b5f808c0899072bce4c00cecc03965af5258a8.zip | |
fix(about.md): use `a` instead of `an`
Pronunciation of the next word requires it.
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/notification-groups/about.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/notification-groups/about.md b/src/doc/rustc-dev-guide/src/notification-groups/about.md index a85c4a5056e..1307a50fcff 100644 --- a/src/doc/rustc-dev-guide/src/notification-groups/about.md +++ b/src/doc/rustc-dev-guide/src/notification-groups/about.md @@ -42,7 +42,7 @@ particularly those of **middle priority**: ## Joining a notification group -To join an notification group, you just have to open a PR adding your +To join a notification group, you just have to open a PR adding your Github username to the appropriate file in the Rust team repository. See the "example PRs" below to get a precise idea and to identify the file to edit. |