ping more people

Co-authored-by: David Wood <agile.lion3441@fuligin.ink>
This commit is contained in:
Ralf Jung 2022-06-29 08:58:26 -04:00
parent ab01a73151
commit a58d8f6616

View File

@ -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"]