Anton actually resolved this issue for us. On Tue May 22 14:56:02 2018, fcoras.li...@gmail.com wrote: > It is! Thank you, Vanessa! > > Florin > > > On May 22, 2018, at 11:41 AM, Vanessa Valderrama via RT <fdio- > > helpd...@rt.linuxfoundation.org> wrote: > > > > This issue should be resolved. > > > > Thank you, > > Vanessa > > > > On Tue May 22 02:59:02 2018, mvarl...@suse.de wrote: > >> Roughly a week ago, I noticed there was a DNS/IP change when cloning > >> a > >> new VPP > >> repo... I wonder if what I saw is somehow connected to this issue. > >> On Mon, 2018-05-21 at 16:34 -0700, Florin Coras wrote: > >>> Hi, > >>> It would seem that git.fd.io [1] thinks that we last committed a > >>> patch to vpp > >>> almost 1 week ago. Any idea what might’ve triggered this? > >>> Thanks, Florin > >>> [1] https://git.fd.io/vpp/log/ > >>> > >>> > >>> > > > > > >
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#9359): https://lists.fd.io/g/vpp-dev/message/9359 View All Messages In Topic (3): https://lists.fd.io/g/vpp-dev/topic/19743812 Mute This Topic: https://lists.fd.io/mt/19743812/21656 New Topic: https://lists.fd.io/g/vpp-dev/post Change Your Subscription: https://lists.fd.io/g/vpp-dev/editsub/21656 Group Home: https://lists.fd.io/g/vpp-dev Contact Group Owner: vpp-dev+ow...@lists.fd.io Terms of Service: https://lists.fd.io/static/tos Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub -=-=-=-=-=-=-=-=-=-=-=-
