Skip to content
New issue

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

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

Already on GitHub? # to your account

Bump version 5.16.0 (#3456) (#3536) (#3726) #3851

Merged
merged 1 commit into from
Dec 4, 2023
Merged

Conversation

vga91
Copy link
Collaborator

@vga91 vga91 commented Dec 4, 2023

Bump version to 5.16.0

Cherry-pick of #3726

* [NOID] Bump version to 5.16.0
@vga91 vga91 added extended-functionality dev cherry-picked This PR has been cherry-picked to the other active branches labels Dec 4, 2023
@vga91
Copy link
Collaborator Author

vga91 commented Dec 4, 2023

Merge even if red, as the other unrelated failing errors will be solved in another pr: #3847

@vga91 vga91 merged commit 0f6b2c5 into dev Dec 4, 2023
@vga91 vga91 deleted the bump_version_5.16.0 branch December 4, 2023 10:07
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
cherry-picked This PR has been cherry-picked to the other active branches dev extended-functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant