On Mon, Jul 13, 2026, 15:31 Melanie Plageman <[email protected]> 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. >
