It’s merged. Please let me know if all ok now. --a
> On 31 Oct 2019, at 23:55, Andrew Yourtchenko via Lists.Fd.Io > <[email protected]> wrote: > > 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/675608 > Group Owner: [email protected] > Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [[email protected]] > -=-=-=-=-=-=-=-=-=-=-=-
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#14454): https://lists.fd.io/g/vpp-dev/message/14454 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]] -=-=-=-=-=-=-=-=-=-=-=-
