From a58d8f6616156938e3d4af814bb34ad5cc37193e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 29 Jun 2022 08:58:26 -0400 Subject: [PATCH] ping more people Co-authored-by: David Wood --- triagebot.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index 155f3960af41c..6c81008b1e839 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"] +cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco"]