Re: Reorder shutdown sequence, to flush pgstats later

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)...

Greetings,

Andres