On 14 November 2017 at 07:39, Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote: > David Rowley wrote: >> A patch to fix this is attached. > > Thanks, pushed.
Thanks for pushing. -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services
