From eb1a0c55f15df23c348a6422718a9b058c237ae2 Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Thu, 14 Jul 2022 14:24:36 +0200 Subject: [PATCH] Add vakaras to the set of people notified when MIR changes. --- triagebot.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index 3842da566a91d..f2930b50e3ee8 100644 --- 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"]