On Tue, Oct 31, 2023 at 11:51 PM Bruce Momjian <bruce@momjian.us> wrote:
>
...
> Patch applied to master. Perhaps someday we will adjust tabs, but for
> now, this is an improvements. I made a few small adjustments myself.
>
I had long forgotten this old patch. Thanks for resurrecting it and pushing!
======
Kind Regards,
Peter Smith.
Fujitsu Australia