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.
