On Fri, 8 Mar 2019 at 01:46, Alvaro Herrera <[email protected]> wrote: > Pushed, thanks!
> I made a couple of edits to v17 before pushing, Thank you for making those changes and for pushing it. -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services
