On Fri, 8 Mar 2019 at 01:46, Alvaro Herrera <alvherre@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