Merge "VPP: arm verify jobs voting again"
authorVratko Polak <vrpolak@cisco.com>
Wed, 3 Jul 2019 16:00:34 +0000 (16:00 +0000)
committerGerrit Code Review <gerrit@fd.io>
Wed, 3 Jul 2019 16:00:34 +0000 (16:00 +0000)

Trivial merge