Skip to content

Remove information about rust-task_info#175

Merged
jdm merged 1 commit intomainfrom
type-info
Dec 9, 2025
Merged

Remove information about rust-task_info#175
jdm merged 1 commit intomainfrom
type-info

Conversation

@mrobinson
Copy link
Copy Markdown
Member

This crate was removed in servo/servo#41132.

Signed-off-by: Martin Robinson [email protected]

This crate was removed in servo/servo#41132.

Signed-off-by: Martin Robinson <[email protected]>
@mrobinson mrobinson requested review from delan and jdm as code owners December 9, 2025 10:13
@jdm jdm added this pull request to the merge queue Dec 9, 2025
Merged via the queue into main with commit 6c49c96 Dec 9, 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