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