diff options
| author | Josh Triplett <josh@joshtriplett.org> | 2021-11-04 13:34:10 +0100 |
|---|---|---|
| committer | Josh Triplett <josh@joshtriplett.org> | 2021-11-04 13:35:56 +0100 |
| commit | 056af9dbc80519f2e3100c78cfd7b1164379c1a1 (patch) | |
| tree | 9e3242888f021f31d15e46f80e961fab7eeee5b7 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 4061c0407978a00c5c2518d898ad8406da28c106 (diff) | |
| download | rust-056af9dbc80519f2e3100c78cfd7b1164379c1a1.tar.gz rust-056af9dbc80519f2e3100c78cfd7b1164379c1a1.zip | |
rustbot: Allow applying relnotes label
Inspired by https://github.com/rust-lang/rust/pull/90521 , and by the various `must_use` PRs; in all of those cases, the submitter of the PR could know that `relnotes` applied, but couldn't apply it themselves.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions