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

Reply via email to