On Tue, Oct 18, 2022 at 4:20 PM Miguel Ojeda <miguel.ojeda.sandonis@xxxxxxxxx> wrote: > > On Sat, Oct 1, 2022 at 8:00 PM Daniel Latypov <dlatypov@xxxxxxxxxx> wrote: > > > > While I have you here, any thoughts on how to coordinate the change? > > My bad, I forgot to reply to this, sorry. I noticed it again when > merging 6.1-rc1 into our branch. No worries. You've had a very busy couple of weeks, I imagine. > > Normally I fix the issues when I merge back from Linus. Since we > intend to keep the CI green on every PR, I added the fix for this in > the merge itself. Thanks! Daniel