diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-02-23 09:57:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 09:57:38 +0100 |
| commit | b76099429babcaf1aed86b7a2b7fb53291dd9ddb (patch) | |
| tree | 5d0ed055e8872708a2ee43f8462fd0749f8807b4 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 436494b8f8008b600d64b3951f63c2bb0ea81673 (diff) | |
| parent | e7ee42baeb54f6484fa76a88e03b3168ff3147ce (diff) | |
| download | rust-b76099429babcaf1aed86b7a2b7fb53291dd9ddb.tar.gz rust-b76099429babcaf1aed86b7a2b7fb53291dd9ddb.zip | |
Rollup merge of #69336 - Mark-Simulacrum:no-infra-toolstate, r=Dylan-DPC
Do not ping the infrastructure team on toolstate changes To my knowledge, there is essentially never any particular action that the infra team needs to take on these pings, and they are currently relatively annoying. cc rust-lang/infra -- does anyone *want* these notifications?
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions