On Fri, Jan 29, 2021 at 10:11 AM Rafael J. Wysocki [off-list ref] wrote:

[Resending, because it hasn't made it to the mailing lists, not sure why.]

I see it, and I see the cc to the list, so it is likely something
about the list being slow or subtly broken.

There was another pull request a couple of days ago that apparently
had the same problem (and didn't get a pr-tracker-bot reply due to
it). I forget which one.

               Linus