On Thu, Jul 30, 2020 at 10:45 AM Peter Geoghegan <[email protected]> wrote: > On Thu, Jul 30, 2020 at 10:32 AM Bruce Momjian <[email protected]> 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
