Hi Pierre,<br /><br />Thank you for this patch. These changes look good to me.<br /><br />Reviewed-by: Sami Mujawar &lt;sami.mujawar@arm.com&gt;<br /><br />Regards,<br /><br />Sami Mujawar


<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/107606">View/Reply Online (#107606)</a> |


  

|

  <a target="_blank" href="https://groups.io/mt/100213728/7686176">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/7686176">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>

 [rebecca@openfw.io]<br>
<div width="1" style="color:white;clear:both">_._,_._,_</div>