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


Reply via email to