Skip to content

Stabilize vec_pop_if#135488

Merged
bors merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:vec_pop_if
Feb 10, 2025
Merged

Stabilize `vec_pop_if`#135488
bors merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:vec_pop_if

Commits

Commits on Jan 24, 2025