Elias, Thanks for telling! I have cherry-picked https://gerrit.fd.io/r/#/c/vpp/+/23164/ and will merge it tomorrow.
--a > On 31 Oct 2019, at 19:18, Elias Rudberg <[email protected]> wrote: > > 386ebb6e2b
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#14446): https://lists.fd.io/g/vpp-dev/message/14446 Mute This Topic: https://lists.fd.io/mt/40219418/21656 Group Owner: [email protected] Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
