Merge "VPP: arm verify jobs voting again"
authorVratko Polak <[email protected]>
Wed, 3 Jul 2019 16:00:34 +0000 (16:00 +0000)
committerGerrit Code Review <[email protected]>
Wed, 3 Jul 2019 16:00:34 +0000 (16:00 +0000)

Trivial merge