David Rowley <[email protected]> writes: > On Mon, 6 Jul 2026 at 10:15, Tom Lane <[email protected]> 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
