Add vakaras to the set of people notified when MIR changes.

rust-lang · Jul 14, 2022 · eb1a0c5 · eb1a0c5
1 parent 0ed9c64
commit eb1a0c5
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"]