Skip to content

josh rustc-pull: check that no new root commits get created#3520

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:josh-check
Apr 27, 2024
Merged

josh rustc-pull: check that no new root commits get created#3520
bors merged 1 commit intorust-lang:masterfrom
RalfJung:josh-check

Commits

Commits on Apr 27, 2024