Done. Mike
> -----Original Message----- > From: Kinney, Michael D <michael.d.kin...@intel.com> > Sent: Friday, June 2, 2023 9:37 AM > To: devel@edk2.groups.io; a...@kernel.org; Michael Kubacki > <mikub...@linux.microsoft.com>; Sean Brogan <sean.bro...@microsoft.com> > Cc: Kinney, Michael D <michael.d.kin...@intel.com> > Subject: RE: [edk2-devel] failed pr > > 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 (#105664): https://edk2.groups.io/g/devel/message/105664 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] -=-=-=-=-=-=-=-=-=-=-=-
