Skip to content

extract_if no longer requires a feature gate. - #383

Merged
jdm merged 2 commits into
servo:v2from
mbrubeck:extract_if
Aug 21, 2026
Merged

extract_if no longer requires a feature gate.#383
jdm merged 2 commits into
servo:v2from
mbrubeck:extract_if

Conversation

@mbrubeck

Copy link
Copy Markdown
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
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
@jdm
jdm added this pull request to the merge queue Aug 21, 2026
Merged via the queue into servo:v2 with commit dca0467 Aug 21, 2026
5 checks passed
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.

3 participants