diff options
| author | Ralf Jung <post@ralfj.de> | 2022-06-29 08:58:26 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-06-29 16:03:24 -0400 |
| commit | a58d8f6616156938e3d4af814bb34ad5cc37193e (patch) | |
| tree | 7dfc79110e01096a212c9cee2215d5d04b2614b7 | |
| parent | ab01a731511695567b79eb07fc56e57bd43b5d96 (diff) | |
| download | rust-a58d8f6616156938e3d4af814bb34ad5cc37193e.tar.gz rust-a58d8f6616156938e3d4af814bb34ad5cc37193e.zip | |
ping more people
Co-authored-by: David Wood <agile.lion3441@fuligin.ink>
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 155f3960af4..6c81008b1e8 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"] |