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.

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

Bump to version 1.13.1 #3048

Merged
merged 3 commits into from
Aug 14, 2023
Merged

Bump to version 1.13.1 #3048

merged 3 commits into from
Aug 14, 2023

Conversation

TonyCTHsu
Copy link
Contributor

Fixed

@TonyCTHsu TonyCTHsu added the release Official release label Aug 11, 2023
@TonyCTHsu TonyCTHsu added this to the 1.13.1 milestone Aug 11, 2023
@TonyCTHsu TonyCTHsu requested a review from a team August 11, 2023 19:22
@github-actions github-actions bot removed the release Official release label Aug 11, 2023
@delner delner added the release Official release label Aug 14, 2023
@TonyCTHsu TonyCTHsu merged commit f4a4887 into master Aug 14, 2023
162 checks passed
@TonyCTHsu TonyCTHsu deleted the bump_to_version_1.13.1 branch August 14, 2023 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release Official release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants