Skip to content

Commit

Permalink
ping more people
Browse files Browse the repository at this point in the history 
Co-authored-by: David Wood <[email protected]>
  • Loading branch information
@RalfJung @davidtwco
RalfJung and davidtwco committed Jun 29, 2022
1 parent ab01a73 commit a58d8f6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion triagebot.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"]
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco"]

0 comments on commit a58d8f6

Please sign in to comment.