Hi, FYI:
/opt/tools/java/openjdk/latest and /opt/tools/java/openjdk/jdk-19/latest point to the OpenJDK 19 GA release now. /opt/tools/java/openjdk/jdk-18/latest points to version 18.0.2.1 now. See also: https://wiki.eclipse.org/Jenkins#OpenJDK Regards, Fred -- Frederic Gurr Team Lead - Release Engineering | Eclipse Foundation Europe GmbH Berliner Allee 47, D-64295 Darmstadt Handelsregister: Darmstadt HRB 92821 Managing Directors: Gaël Blondelle, Mike Milinkovich, Michael Plagge _______________________________________________ cross-project-issues-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
