On Sun, Jul 1, 2018 at 11:18 PM, David Rowley <david.row...@2ndquadrant.com> wrote: > I see d692308cf494f6126 mentions mxid_age() in passing, but there > appears to be no formal definition of either of these functions. > > Should there be?
It seems like a good idea to me. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company