Erik Wienhold <ewie(at)ewie(dot)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