mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-15 08:03:50 +00:00
Change default release value to jdk8 (but overrideable) Reviewed-by: phh, jcoomes, dholmes, ohair
Change default release value to jdk8 (but overrideable) Reviewed-by: phh, jcoomes, dholmes, ohair