Rollup merge of rust-lang#65276 - varkor:toolstate-no-ping, r=Mark-Si…

…mulacrum Don't cc rust-lang/compiler for toolstate changes Fixes rust-lang#65238.
tmandry · Oct 11, 2019 · 7ed57bb · 7ed57bb
2 parents d26439d + fb392c5
commit 7ed57bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
@@ -143,7 +143,7 @@ def issue(
         cc @{}, do you think you would have time to do the follow-up work?
         If so, that would be great!
 
-        cc @{}, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
+        cc @{}, the PR reviewer, and nominating for compiler team prioritization.
 
         ''').format(
             relevant_pr_number, tool, status_description,