Skip to content

Conversation

@simonresch
Copy link
Contributor

No description provided.

@simonresch simonresch marked this pull request as ready for review February 10, 2026 08:49
@simonresch simonresch requested a review from a team February 10, 2026 08:50
@simonresch simonresch enabled auto-merge (rebase) February 10, 2026 10:52
@simonresch simonresch merged commit 2684c75 into main Feb 10, 2026
9 checks passed
@simonresch simonresch deleted the update-maven-deps branch February 10, 2026 10:58
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