Set $JAVA_HOME for openjdk12 on CentOS7 46/16146/1
[releng/global-jjb.git] / releasenotes /
drwxr-xr-x   ..
drwxr-xr-x - notes