On Mon, Jul 13, 2026, 15:31 Melanie Plageman <melanieplageman(at)gmail(dot)com>
wrote:
> It's on master as eed6c0d33e09c53, and I pushed there first. Did I
> miss something?
>
Hmm, yeah I see it now... I never received the matching pgsql-committers
email, though. And I don't see it in the archives for pgsql-committers list
either. So let's chalk it up to an infra issue. Sorry for the noise.
>