Skip to content

Conversation

@jan-tennert
Copy link
Contributor

What kind of change does this PR introduce?

Bug fix, feature, docs update, ...

What is the current behavior?

Please link any relevant issues here.

What is the new behavior?

Feel free to include screenshots if it includes visual changes.

Additional context

Add any other context or screenshots.

@jan-tennert jan-tennert merged commit 8d7aca4 into main Dec 20, 2025
1 of 9 checks passed
@jan-tennert jan-tennert deleted the update-versions branch December 20, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants