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