On Fri, Jan 25, 2019 at 7:21 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > Anyway I think the names need to be any-something.
To me, that seems unnecessarily rigid. Not a bad idea if we can come up with something that is otherwise acceptable. But all of your suggestions sound worse than Pavel's proposal, so... -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
