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