Rollup merge of #99239 - vakaras:add-myself-to-mir-followers, r=tmiasko

Add myself to the set of people notified when MIR changes. I would like to be notified when changes to MIR are made.
rust-lang · Jul 15, 2022 · bc8abdb · bc8abdb
2 parents fe6062f + eb1a0c5
commit bc8abdb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -340,4 +340,4 @@ cc = ["@rust-lang/rustfmt"]
 
 [mentions."compiler/rustc_middle/src/mir/syntax.rs"]
 message = "This PR changes MIR"
-cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval"]
+cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval", "@vakaras"]