Skip to content

Remove unnecessary sorts in rustc_hir_analysis#131328

Merged
bors merged 1 commit intorust-lang:masterfrom
ismailarilik:remove-unnecessary-sorts-in-rustc-hir-analysis
Oct 15, 2024

Commits

Commits on Oct 6, 2024