18 Oct
2022
18 Oct
'22
11:26 p.m.
On Tue, Oct 18, 2022 at 4:20 PM Miguel Ojeda miguel.ojeda.sandonis@gmail.com wrote:
On Sat, Oct 1, 2022 at 8:00 PM Daniel Latypov dlatypov@google.com 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