On 17 August 2018 at 04:01, Alvaro Herrera <alvhe...@2ndquadrant.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
