build: Upgrade to Java 25 to benefit from various optimizations#5213
Open
sschuberth wants to merge 1 commit into
Open
build: Upgrade to Java 25 to benefit from various optimizations#5213sschuberth wants to merge 1 commit into
sschuberth wants to merge 1 commit into