> Below is what I squashed in this patch before merging it to master: hi Stefano,
Thanks for having addressed this. I missed these comments the first time, sorry about it.
> Below is what I squashed in this patch before merging it to master: hi Stefano,
Thanks for having addressed this. I missed these comments the first time, sorry about it.