Hi Stefano,

> OK to push with the attached change squashed in?

Yes, this is fine. Please push!

Bruno

Reply via email to