Request to be notified of MIR changes

Adding myself (celinval) to be notified of PRs that changes the MIR.
rust-lang · Jun 30, 2022 · d791310 · d791310
1 parent 7425fb2
commit d791310
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -324,4 +324,4 @@ cc = ["@rust-lang/rustfmt"]
 
 [mentions."compiler/rustc_middle/src/mir/syntax.rs"]
 message = "This PR changes MIR"
-cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco"]
+cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval"]