From d791310b92517d4b80192b053923ae2daa88fd9c Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 30 Jun 2022 11:18:56 -0700 Subject: [PATCH] Request to be notified of MIR changes Adding myself (celinval) to be notified of PRs that changes the MIR. --- triagebot.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index e165dd4f17c..ba9ed20cc64 100644 --- 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"]