Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom
vakaras:add-myself-to-mir-followers
Jul 15, 2022
Merged

Add myself to the set of people notified when MIR changes.#99239
bors merged 1 commit intorust-lang:masterfrom
vakaras:add-myself-to-mir-followers

Commits

Commits on Jul 14, 2022