On 02/02/2017 02:28 PM, Jesper Pedersen wrote:
> On 02/02/2017 02:24 PM, Robert Haas wrote:
>> So, committed. Wow, I wish every patch had this many reviewers.
>>
>
> Thanks Robert !
>
This message should have included a thank you to everybody who provided
valuable feedback for this feature, and for that I'm sorry.
Best regards, Jesper