(Returning from leave) On Tue, 20 Nov 2018 at 03:19, Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > Pushed now, thanks.
Many thanks for pushing. -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services
