David Rowley <dgrowleyml@gmail.com> writes:
> On Mon, 6 Jul 2026 at 10:15, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Cool. You wanna fix it, or shall I?
> Happy happy either way. If you're keen to do it, please go ahead,
> otherwise I can take care of it.
OK, done.
regards, tom lane