Due to some technical difficulties with the 18.07 merge jobs we will be unable to resolve till tomorrow, please continue to not merge patches on stable/1807
Ed On Thu, Sep 13, 2018 at 3:12 PM Edward Warnicke <hagb...@gmail.com> wrote: > I am in the process of doing the 18.07.1 release. Will let you know when > it is done and stable/1807 can be merged to again. > > Ed > -=-=-=-=-=-=-=-=-=-=-=- > Links: You receive all messages sent to this group. > > View/Reply Online (#10495): https://lists.fd.io/g/vpp-dev/message/10495 > Mute This Topic: https://lists.fd.io/mt/25646407/464962 > Group Owner: vpp-dev+ow...@lists.fd.io > Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [hagb...@gmail.com] > -=-=-=-=-=-=-=-=-=-=-=- >
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#10497): https://lists.fd.io/g/vpp-dev/message/10497 Mute This Topic: https://lists.fd.io/mt/25646407/21656 Group Owner: vpp-dev+ow...@lists.fd.io Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
