On Tue, 18 Dec 2018 at 08:21, Alvaro Herrera <alvhe...@2ndquadrant.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