(2018/01/18 7:09), Robert Haas wrote:
On Wed, Jan 17, 2018 at 4:08 PM, Tom Lane<t...@sss.pgh.pa.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

Reply via email to