Skip to content

Leave from CopyProp early when there are no replacements#142870

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:copy-prop-early-exit
Jun 25, 2025
Merged

Leave from CopyProp early when there are no replacements#142870
bors merged 1 commit intorust-lang:masterfrom
tmiasko:copy-prop-early-exit

Commits

Commits on Jun 22, 2025