I am working on it. Mike
> -----Original Message----- > From: devel@edk2.groups.io <devel@edk2.groups.io> On Behalf Of Ard > Biesheuvel > Sent: Friday, June 2, 2023 9:19 AM > To: Kinney, Michael D <michael.d.kin...@intel.com>; Michael Kubacki > <mikub...@linux.microsoft.com>; Sean Brogan <sean.bro...@microsoft.com>; > edk2-devel-groups-io <devel@edk2.groups.io> > Subject: [edk2-devel] failed pr > > Could someone push the merge button on this pr please? > > https://github.com/tianocore/edk2/pull/4470 > > > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#105663): https://edk2.groups.io/g/devel/message/105663 Mute This Topic: https://groups.io/mt/99289807/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
