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

1.7.13 #2270

Merged

huchenlei merged 1 commit into main from version-bump-2025-01-16-1737046298846

Jan 16, 2025

Member

huchenlei commented Jan 16, 2025

Automated version bump to 1.7.13


          1.7.13

a0d7b5c

huchenlei requested a review from a team as a code owner

January 16, 2025 16:51

huchenlei added the Release label

huchenlei merged commit 7fd41ee into main

10 of 11 checks passed

huchenlei deleted the version-bump-2025-01-16-1737046298846 branch

January 16, 2025 16:52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Release