On Mon, 10 Jun 2019 14:27:12 -0300 Jason Gunthorpe <jgg@xxxxxxxx> wrote: > Looks OK to me, do you want to run these patches through the docs tree > or through RDMA? > > Given that we've generally pushed doc updates through rdma, I think > I'd prefer the latter? Jonathan? Whichever works best for you is fine with me; go ahead and take them. jon
