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 · 9917f06 · 9917f06
2 parents 48051e4 + fb392c5
commit 9917f06
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,