On Tue, 18 Dec 2018 at 08:21, Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> wrote:
> Pushed with those changes. Thanks for the patch!
Thanks for committing it and thanks for reviewing it, Michael.
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services