<p>Hi,</p>
<p>thanks for merging, though I already had a pull request for it and you now used the bounce email address for the commit author ^^'<br />It's ok, just wanted to make sure you know that groups.io pitfall for the next :)<br /><br />Best regards and many thanks for your time<br />Mara Sophie Grosch</p>
<div width="1" style="color:white;clear:both">_._,_._,_</div> <hr> Groups.io Links:<p> You receive all messages sent to this group. <p> <a target="_blank" href="https://edk2.groups.io/g/devel/message/88025">View/Reply Online (#88025)</a> | | <a target="_blank" href="https://groups.io/mt/89972393/1813853">Mute This Topic</a> | <a href="https://edk2.groups.io/g/devel/post">New Topic</a><br> <a href="https://edk2.groups.io/g/devel/editsub/1813853">Your Subscription</a> | <a href="mailto:devel+owner@edk2.groups.io">Contact Group Owner</a> | <a href="https://edk2.groups.io/g/devel/unsub">Unsubscribe</a> [edk2-devel-archive@redhat.com]<br> <div width="1" style="color:white;clear:both">_._,_._,_</div>