Skip to content

Conversation

@bshand
Copy link
Contributor

@bshand bshand commented Nov 7, 2025

This merges the changes from the v4.1.3 release to main, i.e. include it in the release changelog and reconcile the revision history.

@bshand bshand requested a review from a team as a code owner November 7, 2025 10:45
@bshand bshand force-pushed the feature/merge_v4.1.3_to_main branch from 0a1067a to c145435 Compare November 7, 2025 10:47
@bshand bshand merged commit 96e92b0 into main Nov 7, 2025
18 of 23 checks passed
@bshand bshand deleted the feature/merge_v4.1.3_to_main branch November 7, 2025 10:59
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.

2 participants