Yes, now it works. Thank you! / Elias
On Fri, 2019-11-01 at 08:42 +0100, Andrew 👽 Yourtchenko wrote: > 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 (#14458): https://lists.fd.io/g/vpp-dev/message/14458 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]] -=-=-=-=-=-=-=-=-=-=-=-
