Skip to content

Conversation

@pboos
Copy link
Contributor

@pboos pboos commented Aug 28, 2023

See CHANGELOG.md for the changes in this release.

@pboos pboos requested review from a team and eleonoraborghi August 28, 2023 15:41
@pboos pboos merged commit 4b7e6ef into main Aug 28, 2023
@pboos pboos deleted the release/v1.2.5 branch August 28, 2023 15:43
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