Skip to content

fix a broken link in mir/mod.rs#129314

Merged
bors merged 1 commit intorust-lang:masterfrom
kyoto7250:fix_link_in_mir_mod
Aug 21, 2024
Merged

fix a broken link in `mir/mod.rs`#129314
bors merged 1 commit intorust-lang:masterfrom
kyoto7250:fix_link_in_mir_mod

Commits

Commits on Aug 20, 2024