On Thu, Oct 29, 2020 at 10:51:06PM -0400, Steven Rostedt wrote: > On Thu, 29 Oct 2020 18:53:17 -0700 > syzbot <[email protected]> wrote: > > > Hello, > > > > syzbot found the following issue on: > > Didn't Peter already send a fix for this? Is it not upstream yet?
Hurmph, it's been in tip/locking/urgent for 8 days, but does not indeed seem to have made it into Linus' tee yet.
