Thanks, attached is a patch with minor modifications which I am
planning to push after one more round of review on Thursday morning
IST unless there are more comments by anyone else.

Pushed.

Thanks!

--
Fabien.


Reply via email to