On Thu, Jun 29, 2023 at 8:19 AM Michael Paquier <mich...@paquier.xyz> wrote:

> Nothing much to add, so applied with the initial comment fix.


Thanks for pushing it!

Thanks
Richard

Reply via email to