Skip to content

Conversation

@mmwinther
Copy link
Member

No description provided.

@mmwinther mmwinther requested a review from a team as a code owner December 15, 2025 12:01
@mmwinther mmwinther added the skip-changelog Changes that should be omitted from the release notes label Dec 15, 2025
@mmwinther mmwinther merged commit 56a5921 into master Dec 15, 2025
15 checks passed
@mmwinther mmwinther deleted the release/v1.5.0 branch December 15, 2025 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Changes that should be omitted from the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants