Merge "[builde servers] Update manifest-tool URL"
authorAric Gardner <agardner@linuxfoundation.org>
Thu, 1 Nov 2018 19:18:54 +0000 (19:18 +0000)
committerGerrit Code Review <gerrit@opnfv.org>
Thu, 1 Nov 2018 19:18:54 +0000 (19:18 +0000)

Trivial merge