Looks good to me.

Thanks,
Richard.

Thanks folks.  I have committed the patch, and will close the PR.

Aldy

Reply via email to