Hi, On 2022-11-09 17:03:13 -0800, Andres Freund wrote: > On 2022-11-09 09:38:08 -0800, Andres Freund wrote: > > I'm on a hike, without any connectivity, Thu afternoon - Sun. I think it's > > OK > > to push it to HEAD if I get it done in the next few hours. Bigger issues, > > which I do not expect, should show up before tomorrow afternoon. Smaller > > things could wait till Sunday if necessary. > > I didn't get to it in time, so I'll leave it for when I'm back.
Took a few days longer, partially because I encountered an independent issue (see 8c954168cff) while testing. I pushed it to HEAD now. I still think it might be worth to backpatch in a bit, but so far the votes on that weren't clear enough on that to feel comfortable. Regards, Andres