Skip to content

Conversation

weihanglo
Copy link
Member

This is a preparation of v12 release.

See #229 and #233

Copy link
Member

@michaelwoerister michaelwoerister left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, @weihanglo!

@michaelwoerister michaelwoerister merged commit bb7214a into rust-lang:master May 31, 2024
@weihanglo weihanglo deleted the publish-ci branch May 31, 2024 10:41
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