On Thu, 13 May 2021 14:25:09 -0300 Jason Gunthorpe <jgg@xxxxxxxxxx> wrote: > > I'm sorry, I don't know what a -rc branch is nor how to push this > > to Alex's tree, but I'd be happy to do so if you tell me now:) > > If Christian takes it for 5.13-rc then that is OK I'm pretty confident that Christian is handling this. IMHO there is no need to bother Alex with it. Regards, Halil