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