Skip to content

Conversation

xu-cheng
Copy link
Contributor

@xu-cheng xu-cheng commented Aug 6, 2025

It is not clear to me whether this is a breaking change. I bumped the version of the crates for now.

xu-cheng added a commit to xu-cheng/html5ever that referenced this pull request Aug 6, 2025
xu-cheng added a commit to xu-cheng/html5ever that referenced this pull request Aug 25, 2025
@xu-cheng xu-cheng changed the title Update phf to 0.12 Update phf to 0.13 Aug 25, 2025
@mrobinson mrobinson enabled auto-merge August 26, 2025 07:44
@mrobinson mrobinson added this pull request to the merge queue Aug 26, 2025
Merged via the queue into servo:main with commit eb5ad11 Aug 26, 2025
3 of 5 checks passed
mrobinson pushed a commit to xu-cheng/html5ever that referenced this pull request Aug 26, 2025
@xu-cheng xu-cheng deleted the phf-0.12 branch August 26, 2025 07:53
xu-cheng added a commit to xu-cheng/html5ever that referenced this pull request Aug 26, 2025
github-merge-queue bot pushed a commit to servo/html5ever that referenced this pull request Aug 27, 2025
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.

2 participants