On Wed, May 8, 2024 at 08:47:45PM -0700, Paul Jungwirth wrote: > On 5/8/24 07:44, Bruce Momjian wrote: > > On Wed, May 8, 2024 at 02:29:34PM +0200, Peter Eisentraut wrote: > > > > Yes, David is correct here on all points. I like his suggestion to > > > > clarify the language here also. If you need a patch from me let me know, > > > > but I assume it's something a committer can just make happen? > > > > > > In principle yes, but it's also very helpful if someone produces an actual > > > patch file, with complete commit message, credits, mailing list link, etc. > > > > I am ready to do the work, but waited a day for Peter to reply, since he > > was the author of the text. > > Here is a patch for this.
Thanks, patch applied. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.