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)

Trivial merge