Skip to content

Release v0.5.3#440

Merged
Thomasdezeeuw merged 1 commit intorust-lang:masterfrom
Thomasdezeeuw:release-v0.5.3
May 12, 2023
Merged

Release v0.5.3#440
Thomasdezeeuw merged 1 commit intorust-lang:masterfrom
Thomasdezeeuw:release-v0.5.3

Conversation

@Thomasdezeeuw
Copy link
Collaborator

No description provided.

@Thomasdezeeuw
Copy link
Collaborator Author

That was a fast review, thanks @Darksonn

@Thomasdezeeuw Thomasdezeeuw merged commit 3047737 into rust-lang:master May 12, 2023
@Thomasdezeeuw Thomasdezeeuw deleted the release-v0.5.3 branch May 12, 2023 09:58
@Thomasdezeeuw
Copy link
Collaborator Author

Release is also done.

@Darksonn
Copy link
Member

Yeah, I just happened to see the email right when you sent it.

@dignifiedquire
Copy link
Contributor

Wow, that was fast! thanks a lot

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.

3 participants