On Tue, 2023-09-05 at 00:03 +0200, Erik Wienhold wrote:
> On 04/09/2023 03:42 CEST Tom Lane <tgl@sss.pgh.pa.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