From 77f2ac4a4981e800708fb5e877817f4781e7f87a Mon Sep 17 00:00:00 2001 From: Dylan DPC Date: Thu, 28 Nov 2019 01:26:45 +0100 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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