On 10/28/23 16:20, Laszlo Ersek wrote: > On 10/27/23 19:41, Joey Vagedes via groups.io wrote: >> Thank you for the reviews. Pending any reviews other maintainers of these >> packages would like to do, this patch series is ready to merge. I've updated >> the PR with the reviewed-by tags: >> >> https://github.com/tianocore/edk2/pull/4966 > > I figured I could try just adding the push label to your PR, but the > master branch had advanced meanwhile... So I've now picked up your > patches from the list, added the R-b tags, compared the new branch > against yours from the PR, and then created a new PR, with the "push" > label set: > > https://github.com/tianocore/edk2/pull/4972 > > Hopefully this will complete.
It did: commit range 7ff6ab2b3e09..7806713f00e9. Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#110249): https://edk2.groups.io/g/devel/message/110249 Mute This Topic: https://groups.io/mt/102223493/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
