On 14/06/17 20:57, Andres Freund wrote:
> Hi,
>
> On 2017-06-13 00:50:20 -0700, Andres Freund wrote:
>> Just to be clear: The patch, after the first point above (which I did),
>> looks ok. I'm just looking for comments.
>
> And pushed.
>
Thanks!
-- Petr Jelinek http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training &
Services