On Fri, Jan 29, 2021 at 10:11 AM Rafael J. Wysocki <[email protected]> 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
