On Sun, Dec 3, 2023 at 10:56 PM Marvin Häuser <[email protected]> wrote: > > Reviewed-by: Marvin Häuser <[email protected]>
Thank you! Pushed as b95395b. -- Pedro -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#111999): https://edk2.groups.io/g/devel/message/111999 Mute This Topic: https://groups.io/mt/102960519/21656 Group Owner: [email protected] Unsubscribe: https://edk2.groups.io/g/devel/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
