Thanks! On Fri, 2 Jun 2023 at 18:38, Michael D Kinney <michael.d.kin...@intel.com> wrote: > > 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 (#105678): https://edk2.groups.io/g/devel/message/105678 Mute This Topic: https://groups.io/mt/99289807/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
