Add SAFETY comments to core::slice::sort::partition_in_blocks#88291
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 25, 2021
Merged
Add SAFETY comments to core::slice::sort::partition_in_blocks#88291bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom