On 14 November 2017 at 07:39, Alvaro Herrera <alvherre@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