diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-04-10 18:15:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 18:15:27 +0200 |
| commit | 6dc77f546d84daa84076e555b3f227f7b76db859 (patch) | |
| tree | 7603e024c3e52f8c48527b1ad6ff75adc5c54421 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | d36991a400e314325284b8a0cd21591ae8eebadb (diff) | |
| parent | dc4c3e9da67e00a025a60e2785629b44df14f7a2 (diff) | |
| download | rust-6dc77f546d84daa84076e555b3f227f7b76db859.tar.gz rust-6dc77f546d84daa84076e555b3f227f7b76db859.zip | |
Rollup merge of #70988 - LeSeulArtichaut:triagebot-prioritize, r=Mark-Simulacrum
Setup the `@rustbot prioritize` command See rust-lang/triagebot#453 r? @Mark-Simulacrum can you confirm that the `t-compiler/wg-prioritization` stream ID is `227806`? cc @spastorino
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions