David Rowley <dgrowleyml(at)gmail(dot)com> writes:
> On Mon, 6 Jul 2026 at 10:15, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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