Update CONTRIBUTING.md

RalfJung · Nov 28, 2019 · 77f2ac4 · 77f2ac4
1 parent 2a7dc5e
commit 77f2ac4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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