diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2019-11-28 01:26:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-28 01:26:45 +0100 |
| commit | 77f2ac4a4981e800708fb5e877817f4781e7f87a (patch) | |
| tree | f261b5fb3192f9e74c16ff0026a9cf3a4da8836f /CONTRIBUTING.md | |
| parent | 2a7dc5ec7f6979ee31e0ec30fbf9b6086e03ca74 (diff) | |
| download | rust-77f2ac4a4981e800708fb5e877817f4781e7f87a.tar.gz rust-77f2ac4a4981e800708fb5e877817f4781e7f87a.zip | |
Update CONTRIBUTING.md
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 54ef0596198..8fbbd7c4a2e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -155,7 +155,7 @@ documentation changes. So if you were to make a documentation change, add r? @steveklabnik -to the end of the pull request message, and [@rust-highfive][rust-highfive] will assign +to the end of the pull request description, and [@rust-highfive][rust-highfive] will assign [@steveklabnik][steveklabnik] instead of a random person. This is entirely optional. After someone has reviewed your pull request, they will leave an annotation |