Skip to content

Cleanup rust-src remapping and real dir#142318

Merged
bors merged 1 commit intorust-lang:masterfrom
Urgau:cleanup-rust-src-remap
Jun 12, 2025
Merged

Cleanup `rust-src` remapping and real dir#142318
bors merged 1 commit intorust-lang:masterfrom
Urgau:cleanup-rust-src-remap

Commits

Commits on Jun 11, 2025