On Fri, Jun 28, 2019 at 12:55 PM Ashwin Agrawal <[email protected]> wrote:
> Change looks good to me.

Pushed, thanks.

-- 
Thomas Munro
https://enterprisedb.com


Reply via email to