Skip to content

Remove some redundant parts from unrolled_find_u16s#74289

Merged
bors merged 3 commits intorust-lang:masterfrom
tesuji:unroll
Aug 8, 2020
Merged

Remove some redundant parts from `unrolled_find_u16s`#74289
bors merged 3 commits intorust-lang:masterfrom
tesuji:unroll

Commits

Commits on Jul 28, 2020