Merge "Set $JAVA_HOME for openjdk12 on CentOS7"
[releng/global-jjb.git] / schema /
2019-07-12 Andrew GrimbergMerge "Set $JAVA_HOME for openjdk12 on CentOS7"
2019-07-12 Thanh HaFix formatting to prettier style 40/16140/3
2019-07-10 Jessica WagantallAdd release-schema 40/16040/3