On Wed, Jul 03, 2019 at 03:01:25PM -0300, Jason Gunthorpe wrote: > Christoph, I guess you didn't mean to send this branch to the mailing > list? > > In any event some of these, like this one, look obvious and I could > still grab a few for hmm.git. > > Let me know what you'd like please > > Reviewed-by: Jason Gunthorpe <jgg@xxxxxxxxxxxx> Thanks. I was going to send this series out as soon as you had applied the previous one. Now that it leaked I'm happy to collect reviews. But while I've got your attention: the rdma.git hmm branch is still at the -rc7 merge and doen't have my series, is that intentional?