On Thu, Jul 30, 2020 at 10:45 AM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> On Thu, Jul 30, 2020 at 10:32 AM Bruce Momjian <bruce(at)momjian(dot)us> wrote:
> > I came up with a more verbose documentation suggestion, attached.
>
> I'm okay with this.
Are you going to push this soon, Bruce?
--
Peter Geoghegan