On Mon, Aug 3, 2020 at 11:35:50AM -0700, Peter Geoghegan wrote: > 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?
Done. -- Bruce Momjian <[email protected]> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
