Peter Geoghegan <p...@bowt.ie> writes:
> On Tue, Sep 15, 2020 at 3:02 PM Tom Lane <t...@sss.pgh.pa.us> 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
