On Tue, 2023-09-05 at 00:03 +0200, Erik Wienhold wrote:
> On 04/09/2023 03:42 CEST Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> > I think the last hunk of this is plenty sufficient, and the earlier
> > ones just add noise.
>
> Done.
Looks good to me.
Yours,
Laurenz Albe