On Fri, 8 Mar 2019 at 01:46, Alvaro Herrera <alvhe...@2ndquadrant.com> 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
