On Thu, Jul 5, 2018 at 12:36 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> 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.
+1
--
Peter Geoghegan