diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-18 19:06:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-18 19:06:04 +0200 |
| commit | dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f (patch) | |
| tree | 57cfad97d5db29fd8998f8da1c9d0e0e2ed8eac3 | |
| parent | 994e2e4facccdbd3e56a3e9d3eec5ba69681e023 (diff) | |
| parent | 1f9fa18e90ceedb252a8114cc8bf92c35f52198c (diff) | |
| download | rust-dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f.tar.gz rust-dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f.zip | |
Rollup merge of #113828 - spastorino:ping-spastorino-smir, r=oli-obk
Ping spastorino on changes to SMIR r? `@oli-obk`
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 1a435ff074e..cc26c3b3e7b 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -457,7 +457,7 @@ cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"] [mentions."compiler/rustc_smir"] message = "This PR changes Stable MIR" -cc = ["@oli-obk", "@celinval"] +cc = ["@oli-obk", "@celinval", "@spastorino"] [mentions."compiler/rustc_target/src/spec"] message = """ |