On Wed, Jan 11, 2023 at 4:44 PM Andres Freund <andres(at)anarazel(dot)de> wrote:> > Attached patch fixes up these issues. It's almost totally mechanical.>> Looks better, thanks!
Pushed that just now.
Thanks-- Peter Geoghegan