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

Conversation

@mbrubeck
Copy link
Collaborator

Since the standard library version has stabilized, we don't need to worry about the API changing anymore.

Since the standard library version has stabilized, we don't need to
worry about the API changing anymore.
@mbrubeck mbrubeck requested a review from jdm May 31, 2025 05:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant