diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-07-01 06:05:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 06:05:57 +0200 |
| commit | 80dd48b73f1a570517bcabd8630070a136a252d8 (patch) | |
| tree | 0c5043bcf02649cd01eeac6c23e8bb0b052ff072 | |
| parent | 734f21c9e20fbeea33bf1ab5da9bba1cce39b2a0 (diff) | |
| parent | d791310b92517d4b80192b053923ae2daa88fd9c (diff) | |
| download | rust-80dd48b73f1a570517bcabd8630070a136a252d8.tar.gz rust-80dd48b73f1a570517bcabd8630070a136a252d8.zip | |
Rollup merge of #98733 - celinval:patch-1, r=Mark-Simulacrum
Request to be notified of MIR changes Adding myself (celinval) to be notified of PRs that changes the MIR.
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index e165dd4f17c..ba9ed20cc64 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", "@davidtwco"] +cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval"] |