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
