Skip to content

Commit

Permalink
Rollup merge of rust-lang#65276 - varkor:toolstate-no-ping, r=Mark-Si…
Browse files Browse the repository at this point in the history
…mulacrum

Don't cc rust-lang/compiler for toolstate changes

Fixes rust-lang#65238.
  • Loading branch information
tmandry authored Oct 11, 2019
2 parents 8be5481 + fb392c5 commit f1d2d95
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/publish_toolstate.py
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit f1d2d95

Please sign in to comment.