Skip to content

chore: update to jdk25#71

Merged
andrejpetras merged 1 commit intomainfrom
feat/jdk25
Apr 29, 2026
Merged

chore: update to jdk25#71
andrejpetras merged 1 commit intomainfrom
feat/jdk25

Conversation

@andrejpetras
Copy link
Copy Markdown
Contributor

@andrejpetras andrejpetras merged commit b8be1f8 into main Apr 29, 2026
2 checks passed
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