[vpp-dev] Patches for 18.04

Chris, I submitted two patches to master that should be in stable/18.04. 11556: Merged in Master: https://gerrit.fd.io/r/11556 11551: Submitted but not merged yet in master: https://gerrit.fd.io/r/11551 What should I do? Should I resubmit both patches direct to stable/18.04? --Tom -- *Thoma

Re: [vpp-dev] Patches for 18.04

l Subject: [vpp-dev] Patches for 18.04 Chris, I submitted two patches to master that should be in stable/18.04. 11556: Merged in Master: https://gerrit.fd.io/r/11556 11551: Submitted but not merged yet in master: https://gerrit.fd.io/r/11551 What should I do? Should I resubmit both patches direct

Re: [vpp-dev] Patches for 18.04

; Billy McFall Subject: [vpp-dev] Patches for 18.04 Chris, I submitted two patches to master that should be in stable/18.04. 11556: Merged in Master: https://gerrit.fd.io/r/11556 11551: Submitted but not merged yet in master: https://gerrit.fd.io/r/11551 What should I do? Should I resubmit

Re: [vpp-dev] Patches for 18.04

Of *Thomas F Herbert *Sent:* Friday, April 6, 2018 14:38 *To:* vpp-dev@lists.fd.io *Cc:* vpp-dev ; Billy McFall *Subject:* [vpp-dev] Patches for 18.04 Chris, I submitted two patches to master that should be in stable/18.04. 11556: Merged in Master: https://gerrit.fd.io/r/11556 11551: Submitted