1
Fork 0

Rollup merge of #99239 - vakaras:add-myself-to-mir-followers, r=tmiasko

Add myself to the set of people notified when MIR changes.

I would like to be notified when changes to MIR are made.
This commit is contained in:
Dylan DPC 2022-07-15 10:39:45 +05:30 committed by GitHub
commit bc8abdb44c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -340,4 +340,4 @@ cc = ["@rust-lang/rustfmt"]
[mentions."compiler/rustc_middle/src/mir/syntax.rs"] [mentions."compiler/rustc_middle/src/mir/syntax.rs"]
message = "This PR changes MIR" message = "This PR changes MIR"
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval"] cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval", "@vakaras"]