On Thu, Jul 30, 2020 at 10:45 AM Peter Geoghegan <pg@bowt.ie> wrote:
> On Thu, Jul 30, 2020 at 10:32 AM Bruce Momjian <bruce@momjian.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