Hi,
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.
Greetings,
Andres Freund