Skip to content

Revert "Add @bors rollup=never to rustc-push PR body"#2220

Merged
jieyouxu merged 1 commit intomasterfrom
revert-2217-bors-rollup-never
Jan 24, 2025
Merged

Revert "Add `@bors rollup=never` to rustc-push PR body"#2220
jieyouxu merged 1 commit intomasterfrom
revert-2217-bors-rollup-never

Commits

Commits on Jan 24, 2025