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 <br...@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
