On Fri, Apr 5, 2019 at 3:28 PM Adrien Mobile <adrien.nay...@anayrat.info> wrote: > How about TRIM?
The problem, in my view, is not that there is anything ipso facto wrong with SHRINK. The problem is that it's a turn term that has only de minimis use up until now. Replacing it with some other term that has never before been used to refer to the behavior under discussion does not, in my view, fix anything. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
