On 2022-05-12 11:38:39 -0700, Andres Freund wrote: > On 2022-05-12 13:18:05 -0400, Tom Lane wrote: > > Andres Freund <and...@anarazel.de> writes: > > > I think the attached patches are all a good idea and trivial enought that > > > I > > > think we should apply them now. > > > > +1 to all of that. > > Cool.
Pushed them.
