Erik Wienhold <e...@ewie.name> writes: > On 2024-07-25 22:29 +0200, Tom Lane wrote: >> This still isn't following our usual message style IMO. Here's a >> proposed v7 that outputs ...
> Works for me. Thanks! Pushed, then. regards, tom lane
Erik Wienhold <e...@ewie.name> writes: > On 2024-07-25 22:29 +0200, Tom Lane wrote: >> This still isn't following our usual message style IMO. Here's a >> proposed v7 that outputs ...
> Works for me. Thanks! Pushed, then. regards, tom lane