Skip to content

Release/5.2.0#357

Merged
borut-t merged 3 commits intomasterfrom
release/5.2.0
Oct 3, 2025
Merged

Release/5.2.0#357
borut-t merged 3 commits intomasterfrom
release/5.2.0

Conversation

@borut-t
Copy link
Copy Markdown
Collaborator

@borut-t borut-t commented Oct 3, 2025

No description provided.

@borut-t borut-t added the merge label Oct 3, 2025
@borut-t borut-t merged commit c9c4a41 into master Oct 3, 2025
1 check passed
@borut-t borut-t deleted the release/5.2.0 branch October 3, 2025 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant