Skip to content

simplify_branches: add comment#122996

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:simplify_branches
Mar 26, 2024
Merged

simplify_branches: add comment#122996
bors merged 1 commit intorust-lang:masterfrom
RalfJung:simplify_branches

Commits

Commits on Mar 24, 2024