Skip to content

Conversation

waywardmonkeys
Copy link
Contributor

No description provided.

@waywardmonkeys
Copy link
Contributor Author

This does (roughly?) the same thing as parts of #544.

@waywardmonkeys
Copy link
Contributor Author

@mrobinson / whoever: I've updated this for the merge conflict.

@mrobinson mrobinson added this pull request to the merge queue May 27, 2024
Merged via the queue into servo:main with commit 8d2b732 May 27, 2024
@waywardmonkeys waywardmonkeys deleted the remove-extern-crate branch May 27, 2024 06:59
@jdm jdm mentioned this pull request Aug 1, 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