Skip to content

Stabilize is_sorted#128279

Merged
bors merged 1 commit intorust-lang:masterfrom
slanterns:is_sorted
Jul 28, 2024
Merged

Stabilize `is_sorted`#128279
bors merged 1 commit intorust-lang:masterfrom
slanterns:is_sorted

Commits

Commits on Jul 27, 2024