Skip to content

extract_if no longer requires a feature gate.#383

Open
mbrubeck wants to merge 1 commit intoservo:v2from
mbrubeck:extract_if
Open

`extract_if` no longer requires a feature gate.#383
mbrubeck wants to merge 1 commit intoservo:v2from
mbrubeck:extract_if

Commits

Commits on May 31, 2025