On Fri, Nov 18, 2022 at 5:48 PM Damien Le Moal <damien.lemoal@xxxxxxxxxxxxxxxxxx> wrote: > > Thanks. It looks like it was some random delay. I can see it in lore now. Yeah, and as a result pr-tracker-bot seems to be back on the job. Linus
On Fri, Nov 18, 2022 at 5:48 PM Damien Le Moal <damien.lemoal@xxxxxxxxxxxxxxxxxx> wrote: > > Thanks. It looks like it was some random delay. I can see it in lore now. Yeah, and as a result pr-tracker-bot seems to be back on the job. Linus