diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2025-05-18 11:03:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-18 11:03:48 +0200 |
| commit | c7e2e88da00a47346b76629ca3f72bf3a49d2bbf (patch) | |
| tree | 1d4c6dfa318a2fc89e43816fbc80b84ac503aa7f /compiler/rustc_mir_transform/src | |
| parent | b89118aed836b745ca85e9d0b17ee914601deb7a (diff) | |
| parent | 2dddbd1ecb586b7a7dc67c078c2f7785a5cb63ba (diff) | |
| download | rust-c7e2e88da00a47346b76629ca3f72bf3a49d2bbf.tar.gz rust-c7e2e88da00a47346b76629ca3f72bf3a49d2bbf.zip | |
Rollup merge of #141139 - jieyouxu:fix-rfl, r=Urgau
Fix Rust for Linux ping group label Noticed in https://github.com/rust-lang/rust/pull/140966#issuecomment-2886704667. Seems like a broken label can cause the triagebot ping message to not be issued. See https://github.com/rust-lang/triagebot/issues/1992. ```@rustbot``` label: +A-rust-for-linux
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions