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-followersJul 15, 2022

Commits

Commits on Jul 14, 2022