On Wed, Oct 19, 2022 at 1:26 AM Daniel Latypov dlatypov@google.com wrote:
No worries. You've had a very busy couple of weeks, I imagine.
Just a bit :) Nevertheless, it was my intention to reply :(
I have linked this thread from the PR noting that you warned me about the future conflict [1], thanks again!
[1] https://github.com/Rust-for-Linux/linux/pull/915#issuecomment-1283138279
Cheers, Miguel