On Fri, 9 Jul 2021 at 11:03, PierreGondois <pierre.gond...@arm.com> wrote: > > More formally: > > Tested-by: Pierre Gondois <pierre.gond...@arm.com> >
Merged as #1821 Thanks, > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#77875): https://edk2.groups.io/g/devel/message/77875 Mute This Topic: https://groups.io/mt/83561852/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
