Hi, On Thu, 2024-06-27 at 03:13 +0200, Pablo Neira Ayuso wrote: > On Wed, Jun 26, 2024 at 05:51:13PM -0700, Linus Torvalds wrote: > > On Wed, 26 Jun 2024 at 16:38, Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> wrote: > > > > > > Reported-by: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxx> > > > > Oh, I was only the messenger boy, not the actual reporter. > > > > I think reporting credit should probably go to HexRabbit Chen > > <hexrabbit@xxxxxxxx> > > I would not have really know if you don't tell me TBH, else it would > have taken even longer for me to react and fix it. Because they did > not really contact me to report this issue this time. > > But if you insist, I will do so. I'm sorry for the late reply. I guess the most fair option would be adding both tags. With a repost, this will not make it into todays PR, I hope it's not a problem. Thanks, Paolo