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.
Yours,
--
Paul ~{:-)
pj@illuminatedcomputing.com