(2018/01/18 7:09), Robert Haas wrote:
> On Wed, Jan 17, 2018 at 4:08 PM, Tom Lane<tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> It's debatable perhaps -- I tend to err in the other direction.
>> But likewise, I don't care deeply. Just push it ...
>
> Done.
Thanks for taking the time to work on this issue, Robert and Tom!
Best regards,
Etsuro Fujita