On Mon, 13 Mar 2023 at 09:28, Jonathan S. Katz <jkatz@postgresql.org> wrote:
>
> > Uh, absolutely. Here's a complete patch (in case you wanted that),
> > thanks.
>
> LGTM -- pushed. If it's not reflected within a few hours please let me
> know and I'll force clear the caches.
I think this means the patch is committed? I'll update the commitfest
entry as committed but if there's more to be done feel free to fix.
--
Gregory Stark
As Commitfest Manager