On Tue, 2023-09-05 at 00:03 +0200, Erik Wienhold wrote: > On 04/09/2023 03:42 CEST Tom Lane <[email protected]> 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
