Rollup merge of #98619 - Mark-Simulacrum:fix-triagebot, r=Dylan-DPC

Fix mir-opt wg name

r? ``@ehuss``
This commit is contained in:
Matthias Krüger 2022-06-28 18:34:34 +02:00 committed by GitHub
commit 62a787c595
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -244,7 +244,7 @@ cc = ["@rust-lang/miri"]
[mentions."compiler/rustc_mir_transform/src/"]
message = "Some changes occurred to MIR optimizations"
cc = ["@rust-lang/mir-opt"]
cc = ["@rust-lang/wg-mir-opt"]
[mentions."compiler/rustc_trait_selection/src/traits/const_evaluatable.rs"]
message = "Some changes occurred in const_evaluatable.rs"