On Wed, Jan 17, 2018 at 4:08 PM, Tom Lane <tgl@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.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company