diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2023-12-07 15:12:06 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2023-12-07 15:13:10 +0100 |
| commit | c0be10c3d121deb1d889a58798686da68c933657 (patch) | |
| tree | 14c93c809dfe4208f5e9ba4d60073f6c846a984e | |
| parent | cf8d81213c193fc0ca9f2b99165476f8ae028295 (diff) | |
| download | rust-c0be10c3d121deb1d889a58798686da68c933657.tar.gz rust-c0be10c3d121deb1d889a58798686da68c933657.zip | |
Ping GuillaumeGomez for changes in rustc_codegen_gcc
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 24926690cfe..775d9714c60 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -431,7 +431,7 @@ changelog-branch = "master" cc = ["@bjorn3"] [mentions."compiler/rustc_codegen_gcc"] -cc = ["@antoyo"] +cc = ["@antoyo", "@GuillaumeGomez"] [mentions."compiler/rustc_const_eval/src/interpret"] message = "Some changes occurred to the CTFE / Miri engine" |