Skip to content

Conversation

@Loirooriol
Copy link
Collaborator

This will allow de-duplicating phf in Servo.

This will allow de-duplicating phf in Servo.

Signed-off-by: Oriol Brufau <[email protected]>
@Loirooriol Loirooriol marked this pull request as ready for review November 11, 2025 08:38
@Loirooriol Loirooriol requested a review from mrobinson November 11, 2025 08:38
@Loirooriol Loirooriol added this pull request to the merge queue Nov 11, 2025
Copy link

@TimvdLippe TimvdLippe left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Testing if approving works

Merged via the queue into servo:main with commit 89ff085 Nov 11, 2025
5 checks passed
@Loirooriol Loirooriol deleted the deduplicate-phf branch November 11, 2025 09:05
github-merge-queue bot pushed a commit to servo/servo that referenced this pull request Nov 11, 2025
Other than upgrading phf, phf_codegen and phf_shared to 0.13, this also
upgrades html5ever, markup5ever and xml5ever to 0.36, string_cache to
0.9, and Stylo to servo/stylo#266.

Testing: Not needed, no behavior change
Fixes: #40533

Signed-off-by: Oriol Brufau <[email protected]>
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