Peter Geoghegan <[email protected]> writes:
> On Tue, Sep 15, 2020 at 3:02 PM Tom Lane <[email protected]> wrote:
>> The tag is applied, though for some reason the pgsql-committers auto
>> e-mail about new tags hasn't been working lately.
> Thanks. FWIW I did get the automated email shortly after you sent this email.
Yeah, it did show up here too, about an hour after I pushed the tag.
The last several taggings have been delayed similarly, and I think
at least one never was reported at all.
regards, tom lane
