Skip to content

Conversation

@mrobinson mrobinson added this pull request to the merge queue May 23, 2025
Merged via the queue into servo:main with commit f07616d May 23, 2025
8 checks passed
@mrobinson
Copy link
Member

These are published now:

@madsmtm
Copy link
Contributor Author

madsmtm commented May 23, 2025

Thanks!

@madsmtm madsmtm deleted the bump-deprecated branch May 23, 2025 15:02
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