triagebot: ping makai410 for rustc_public
This commit is contained in:
parent
5b150d238f
commit
de0d961eb3
1 changed files with 1 additions and 1 deletions
|
|
@ -1154,7 +1154,7 @@ cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"]
|
||||||
|
|
||||||
[mentions."compiler/rustc_public"]
|
[mentions."compiler/rustc_public"]
|
||||||
message = "This PR changes rustc_public"
|
message = "This PR changes rustc_public"
|
||||||
cc = ["@oli-obk", "@celinval", "@ouz-a"]
|
cc = ["@oli-obk", "@celinval", "@ouz-a", "@makai410"]
|
||||||
|
|
||||||
[mentions."compiler/rustc_target/src/spec"]
|
[mentions."compiler/rustc_target/src/spec"]
|
||||||
message = """
|
message = """
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue