Merge "Clean up vpp jenkins scripts & docker dir"
authorVratko Polak <[email protected]>
Thu, 15 Oct 2020 16:01:07 +0000 (16:01 +0000)
committerGerrit Code Review <[email protected]>
Thu, 15 Oct 2020 16:01:07 +0000 (16:01 +0000)

Trivial merge