Hi,
On 2025-03-04 20:50:43 +0100, Tomas Vondra wrote:
> I pushed the two smaller parts today.
>
> Here's the remaining two parts, to keep cfbot happy. I don't expect to
> get these into PG18, though.
If that's the case, could we either close the CF entry, or move it to the next
fest?
Greetings,
Andres Freund