Skip to content

Optimize empty case in Vec::retain#128234

Merged
bors merged 1 commit intorust-lang:masterfrom
jcsp:retain-empty-case
Jul 30, 2024
Merged

Optimize empty case in Vec::retain#128234
bors merged 1 commit intorust-lang:masterfrom
jcsp:retain-empty-case

Commits

Commits on Jul 29, 2024