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

Release 5.22.0 #4162

Merged
merged 2 commits into from
Jul 31, 2024
Merged

Release 5.22.0 #4162

merged 2 commits into from
Jul 31, 2024

Conversation

vga91
Copy link
Collaborator

@vga91 vga91 commented Jul 31, 2024

Manual cherry-pick of d5e6447

@vga91 vga91 added cherry-picked This PR has been cherry-picked to the other active branches extended-functionality 5.22 labels Jul 31, 2024
@vga91 vga91 merged commit 873e378 into 5.22 Jul 31, 2024
5 checks passed
@vga91 vga91 deleted the 5.22-update-gitmodule branch July 31, 2024 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
5.22 cherry-picked This PR has been cherry-picked to the other active branches extended-functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant