On 12 June 2018 at 09:13, Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > Hearing no complaints I pushed it with the proposed shape.
Thanks for working on it and pushing. -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services