Hi,
can we merge this? https://edk2.groups.io/g/devel/message/97026 I've created a pull request if it's easier to merge for you: https://github.com/tianocore/edk2/pull/3718 -- Best regards, Corvin -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#97634): https://edk2.groups.io/g/devel/message/97634 Mute This Topic: https://groups.io/mt/95790835/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
OpenPGP_signature
Description: OpenPGP digital signature
