Skip to content

Update plugin to Java 17 and latest java-api#80

Merged
jgebal merged 15 commits intodevelopfrom
feature/update_to_java_17
Apr 27, 2026
Merged

Update plugin to Java 17 and latest java-api#80
jgebal merged 15 commits intodevelopfrom
feature/update_to_java_17

Commits

Commits on Apr 23, 2026

Commits on Apr 25, 2026

Commits on Apr 27, 2026