Daniel Gustafsson <[email protected]> writes: >> On 1 Jul 2025, at 17:42, Tom Lane <[email protected]> wrote: >> There are some minor typos in the proposed commit message, too.
> It seems that my grasp of the english language went on holiday before I did.
> The attached v9 is hopefully less terrible.
This thread seems to have faded away, which I fear is my fault.
I took another look through v9, and it seems fine. Do you want
to deal with pushing it, or shall I?
regards, tom lane
