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/21656 Group Owner: [email protected] Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
