Hi, On Sat, Jan 25, 2025 at 11:44:54AM -0500, Andres Freund wrote: > Hi, > > On 2025-01-24 15:06:17 -0500, Andres Freund wrote: > > Unless somebody argues against, I'm planning to push all but the last later > > today, wait for the buildfarm to settle, and then push the last. This is a > > dependency of multiple other things, so it'd be good to get it in soon. > > I did push all but the last yesterday and, not seeing any related issues in > the BF, pushed the last one just now. Let's hope the BF stays green(ish)...
Just did a quick check and that still looks green(ish) (and when it's not, it does not seem related to this change). Regards, -- Bertrand Drouvot PostgreSQL Contributors Team RDS Open Source Databases Amazon Web Services: https://aws.amazon.com
