Skip to content

Release v1.25.0 - #538

Merged
amantoux merged 1 commit into
masterfrom
release_1_25
Aug 17, 2025
Merged

Release v1.25.0#538
amantoux merged 1 commit into
masterfrom
release_1_25

Conversation

@amantoux

Copy link
Copy Markdown
Member

No description provided.

@amantoux
amantoux requested a review from Amir-P August 16, 2025 15:17
@amantoux amantoux changed the title Release 1.25.0 Release v1.25.0 Aug 16, 2025

@Amir-P Amir-P left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So many changes in this release! Thanks Alan! LGTM.

@amantoux
amantoux merged commit 43c1739 into master Aug 17, 2025
2 checks passed
@amantoux
amantoux deleted the release_1_25 branch August 17, 2025 08:04
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