diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2019-07-19 10:51:18 +0200 |
|---|---|---|
| committer | Vratko Polak <vrpolak@cisco.com> | 2019-07-19 10:51:18 +0200 |
| commit | b836fd8d6d096a9c9688dab166b0beac8a8d3f92 (patch) | |
| tree | 6e09a78c00875588c018f5257ffd156ca92dd40f /pylint.cfg | |
| parent | a771344997a84300a36a37f68a7f602c67594428 (diff) | |
Bump VPP stable version
The main goal is to have a build with https://gerrit.fd.io/r/20726
to enable detection of missing API messages.
A later build was used, the one just before https://gerrit.fd.io/r/20711
as that looks risky.
Change-Id: Id65066389a7ed70dca54acc085272a632859d42c
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions