On Fri, 2023-10-06 at 12:20 -0400, Bruce Momjian wrote:> Good points, updated patch attached.
That patch is good to go, as far as I am concerned.
Yours,Laurenz Albe