Merge "Set $JAVA_HOME for openjdk12 on CentOS7"
[releng/global-jjb.git] / docs / release-notes.rst
1 .. release-notes:: Release Notes