Merge "Set $JAVA_HOME for openjdk12 on CentOS7"
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Fri, 12 Jul 2019 15:15:29 +0000 (15:15 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Fri, 12 Jul 2019 15:15:29 +0000 (15:15 +0000)
commit227dc247632240097740bf3cfece2829bfd3cf14
tree9af3ba683056e965207ef73d825c8ef233eadd78
parent679fa22ebe63544d95ba7d574f4c78ad64ac3d2a
parent00ad9c7bd453cdaa3aa46c476af276a1f07a1da3
Merge "Set $JAVA_HOME for openjdk12 on CentOS7"