Gabriele Monaco <[email protected]> writes: > d9e4c61a12dd was introduced in the same pull request but after introducing the > wakeup monitor. > So for me that's the commit that is "broken" (should have accounted for > wakeup): > > Fixes: d9e4c61a12dd ("rv: Use generic rv_this for the rv_monitor variable in > LTL")
Sorry, I was lost in the sick land, and now see you already opened the PR. But yes, I agree that the commit applied later should be in Fixes:. Nam
