Skip to content

we only merge candidates for trait and normalizes-to goals#144948

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:change-candidate-handling
Aug 7, 2025
Merged

we only merge candidates for trait and normalizes-to goals#144948
bors merged 1 commit intorust-lang:masterfrom
lcnr:change-candidate-handling

Commits

Commits on Aug 5, 2025