Hi,
On 2025-01-08 10:57:20 +1300, Thomas Munro wrote:
> On Tue, Dec 24, 2024 at 6:51 PM Michael Paquier <michael@paquier.xyz> wrote:
> > That's not really critical, so leaving them as they are is equally OK
> > for me. Looks good to me, otherwise.
>
> Thanks. I pushed it just like that.
I assume there's nothing left to do for the CF entry?
https://commitfest.postgresql.org/51/5242/
It doesn't matter that much anymore, with things not getting moved to new CFs,
but probably still worth updating.
Andres