Skip to content

fix(resolver): do not panic when sorting empty summaries#13287

Merged
bors merged 2 commits into
rust-lang:masterfrom
weihanglo:sort-summaries
Jan 12, 2024
Merged

fix(resolver): do not panic when sorting empty summaries#13287
bors merged 2 commits into
rust-lang:masterfrom
weihanglo:sort-summaries

Commits