On 2023-01-02 15:46:36 -0800, Andres Freund wrote:
> On 2022-12-29 13:40:13 -0800, Andres Freund wrote:
> > > > Should we backpatch this? Given the volume of warnings it's probably a good
> > > > idea. But I'd let it step in HEAD for a few days of buildfarm coverage first.
> > >
> > > +1 to both points.
> >
> > Pushed to HEAD.
>
> I haven't seen any problems in HEAD, so I'm working on backpatching.
And done.