Skip to content

Migrate run-make/comment-section to rmake.rs#126534

Merged
bors merged 1 commit intorust-lang:masterfrom
Rejyr:comment-section-migration
Jun 20, 2024
Merged

Migrate `run-make/comment-section` to `rmake.rs`#126534
bors merged 1 commit intorust-lang:masterfrom
Rejyr:comment-section-migration

Commits

Commits on Jun 19, 2024