On Sun, Dec 3, 2023 at 10:56 PM Marvin Häuser <mhaeu...@posteo.de> wrote: > > Reviewed-by: Marvin Häuser <mhaeu...@posteo.de>
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: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
