Skip to content

Release v0.13.0#375

Merged
mmwinther merged 1 commit intomainfrom
release/v0.13.0
Jan 22, 2026
Merged

Release v0.13.0#375
mmwinther merged 1 commit intomainfrom
release/v0.13.0

Conversation

@mmwinther
Copy link
Member

No description provided.

@mmwinther mmwinther requested a review from a team as a code owner January 22, 2026 12:47
@github-actions github-actions bot added the skip-changelog Changes that should be omitted from the release notes label Jan 22, 2026
@mmwinther mmwinther merged commit 19da605 into main Jan 22, 2026
20 checks passed
@mmwinther mmwinther deleted the release/v0.13.0 branch January 22, 2026 13:34
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