[edk2-devel] failed pr

[Ard Biesheuvel]

Thanks!

On Fri, 2 Jun 2023 at 18:38, Michael D Kinney
<michael.d.kinney at intel.com> wrote:
>
> Done.
>
> Mike
>
> > -----Original Message-----
> > From: Kinney, Michael D <michael.d.kinney at intel.com>
> > Sent: Friday, June 2, 2023 9:37 AM
> > To: devel at edk2.groups.io; ardb at kernel.org; Michael Kubacki
> > <mikuback at linux.microsoft.com>; Sean Brogan <sean.brogan at microsoft.com>
> > Cc: Kinney, Michael D <michael.d.kinney at intel.com>
> > Subject: RE: [edk2-devel] failed pr
> >
> > I am working on it.
> >
> > Mike
> >
> > > -----Original Message-----
> > > From: devel at edk2.groups.io <devel at edk2.groups.io> On Behalf Of Ard
> > > Biesheuvel
> > > Sent: Friday, June 2, 2023 9:19 AM
> > > To: Kinney, Michael D <michael.d.kinney at intel.com>; Michael Kubacki
> > > <mikuback at linux.microsoft.com>; Sean Brogan <sean.brogan at microsoft.com>;
> > > edk2-devel-groups-io <devel at 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/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-