On Sun, Jul 1, 2018 at 11:18 PM, David Rowley
<david.rowley@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