On Tue, Jul 17, 2018 at 12:19 AM, Michael Paquier <mich...@paquier.xyz> wrote: > And the patch previously sent removes them, but perhaps I am missing > your point?
I was just confused. Sorry for the noise. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
