Merge "Use different keyserver for puppet key"
authorThanh Ha <thanh.ha@linuxfoundation.org>
Fri, 22 Jun 2018 15:09:05 +0000 (15:09 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Fri, 22 Jun 2018 15:09:05 +0000 (15:09 +0000)

Trivial merge