Hi,
On 2024-07-17 09:49:47 -0700, Andres Freund wrote:
> On 2024-07-16 15:53:45 -0500, Tristan Partin wrote:
> > Other than that, it looks pretty solid.
>
> Thanks for looking! I'm thinking of pushing the first few patches soon-ish.
>
> I'm debating between going for 17 + HEAD or also applying it to 16, to keep
> the trees more similar.
Pushed a number of these to 16 - HEAD.
Greetings,
Andres Freund