Skip to content

add support for java17+#93

Merged
JasperGeurtz merged 3 commits intodevelopfrom
java17
Feb 20, 2026
Merged

add support for java17+#93
JasperGeurtz merged 3 commits intodevelopfrom
java17

Conversation

@JasperGeurtz
Copy link
Collaborator

Also fix benchmarking

@dgant
Copy link
Contributor

dgant commented Nov 10, 2025

Nice. Last year I used it with Java 21 and it worked great (building from source and without Maven)

@JasperGeurtz JasperGeurtz merged commit 56a8ac0 into develop Feb 20, 2026
8 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