Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release cc v1.0.84 #898

Merged
merged 1 commit into from
Nov 12, 2023
Merged

Release cc v1.0.84 #898

merged 1 commit into from
Nov 12, 2023

Conversation

NobodyXu
Copy link
Collaborator

Resolve #893

@NobodyXu
Release cc v1.0.84
5ae269a 
Resolve #893

Signed-off-by: Jiahao XU <[email protected]>
@NobodyXu NobodyXu requested a review from thomcc November 11, 2023 23:07
@NobodyXu
Copy link
Collaborator Author

I opened this PR so that @thomcc you can merge and cut a new release at anytime you want

@thomcc
Copy link
Member

thomcc commented Nov 11, 2023

I'll do this tomorrow morning.

@NobodyXu
Copy link
Collaborator Author

Good, I will leave this PR open so that you can approve and merge it tomorrow.

@thomcc thomcc merged commit 17f9e01 into rust-lang:main Nov 12, 2023
17 checks passed
@thomcc
Copy link
Member

thomcc commented Nov 12, 2023

Published. Will get relnotes up soonish.

@NobodyXu NobodyXu deleted the new-release branch November 12, 2023 21:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thomcc thomcc thomcc approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Cut 1.0.84 Release
2 participants
@NobodyXu @thomcc