Skip to content

Migrate run-make/manual-crate-name to rmake.rs#126064

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:migrate-run-make-manual-crate-name
Jun 7, 2024
Merged

Migrate `run-make/manual-crate-name` to `rmake.rs`#126064
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:migrate-run-make-manual-crate-name

Commits

Commits on Jun 6, 2024