> I think we can now merge on ‘master’.  There might still be rough edges
> but the guts of it is in good shape AFAICS so we can polish it on
> ‘master’.

No objections from me.  Thank you, Mathieu, for the great work!

-- 
Ricardo


Reply via email to