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