Skip to content

Conversation

@carols10cents
Copy link
Member

@carols10cents carols10cents commented Dec 19, 2025

@carols10cents carols10cents merged commit 1e4816f into rust-lang:main Dec 19, 2025
6 checks passed
@carols10cents carols10cents deleted the pd-update branch December 19, 2025 17:44
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