Fix mir-opt wg name
This commit is contained in:
parent
64eb9ab869
commit
d6b9c10e03
@ -244,7 +244,7 @@ cc = ["@rust-lang/miri"]
|
|||||||
|
|
||||||
[mentions."compiler/rustc_mir_transform/src/"]
|
[mentions."compiler/rustc_mir_transform/src/"]
|
||||||
message = "Some changes occurred to MIR optimizations"
|
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"]
|
[mentions."compiler/rustc_trait_selection/src/traits/const_evaluatable.rs"]
|
||||||
message = "Some changes occurred in const_evaluatable.rs"
|
message = "Some changes occurred in const_evaluatable.rs"
|
||||||
|
Loading…
Reference in New Issue
Block a user