On Mon, Jun 29, 2020 at 09:53:17AM -0400, Bruce Momjian wrote:
> On Mon, Jun 29, 2020 at 04:18:58PM +0900, Michael Paquier wrote:
> > On Sat, Jun 27, 2020 at 05:14:23PM -0400, Bruce Momjian wrote:
> > > I found a few more places that also didn't properly document this;
> > > patch attached.
> >
> > Good catch! I am not seeing any missing spots, so this looks good to
> > me. You are planning a backpatch, right?
>
> Yes, backpatch. I found the pattern of areas needing fixes to be quite
> odd. ;-)
Patch applied through 9.5.
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EnterpriseDB https://enterprisedb.com
The usefulness of a cup is in its emptiness, Bruce Lee