Hi, thanks for merging, though I already had a pull request for it and you now used the bounce email address for the commit author ^^' It's ok, just wanted to make sure you know that groups.io pitfall for the next :)
Best regards and many thanks for your time Mara Sophie Grosch -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#88025): https://edk2.groups.io/g/devel/message/88025 Mute This Topic: https://groups.io/mt/89972393/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
