Skip to content

Remove unnecessary sort in rustc_metadata#131329

Closed
ismailarilik wants to merge 1 commit intorust-lang:masterfrom
ismailarilik:remove-unnecessary-sort-in-rustc-metadata
Closed

Remove unnecessary sort in rustc_metadata#131329
ismailarilik wants to merge 1 commit intorust-lang:masterfrom
ismailarilik:remove-unnecessary-sort-in-rustc-metadata

Commits

Commits on Oct 6, 2024