On Tue, Jul 17, 2018 at 12:19 AM, Michael Paquier <michael@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