On 17 August 2018 at 04:01, Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> wrote:
> Looks good, pushed. I edited the comment a little bit.
Thanks for pushing.
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services