Skip to content

Bump version 0.13.1 -> 0.13.2#391

Merged
JanhSander merged 1 commit intomainfrom
release/v0.13.2
Feb 20, 2026
Merged

Bump version 0.13.1 -> 0.13.2#391
JanhSander merged 1 commit intomainfrom
release/v0.13.2

Conversation

@JanhSander
Copy link
Contributor

No description provided.

@JanhSander JanhSander requested a review from a team as a code owner February 20, 2026 14:38
@github-actions github-actions bot added the skip-changelog Changes that should be omitted from the release notes label Feb 20, 2026
@JanhSander JanhSander merged commit 6d02d62 into main Feb 20, 2026
20 checks passed
@JanhSander JanhSander deleted the release/v0.13.2 branch February 20, 2026 14:50
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