diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-07-15 10:39:45 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-15 10:39:45 +0530 |
| commit | bc8abdb44ca82b63ba913c97958334f731d6e928 (patch) | |
| tree | 2a629fcd7511b8039ce334fc7cfb19fa78c1e23f | |
| parent | fe6062f8293b27c2f2aa4ad8db23c57e1dad7742 (diff) | |
| parent | eb1a0c55f15df23c348a6422718a9b058c237ae2 (diff) | |
| download | rust-bc8abdb44ca82b63ba913c97958334f731d6e928.tar.gz rust-bc8abdb44ca82b63ba913c97958334f731d6e928.zip | |
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.
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 3842da566a9..f2930b50e3e 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"] |