Erik Wienhold <[email protected]> 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
