[GIT PULL] Please pull hmm changes

[Linus Torvalds]

On Wed, Dec 18, 2019 at 10:37 AM Jason Gunthorpe <jgg at mellanox.com> wrote:
>
> I think this is what you are looking for?

I think that with these names, I would have had an easier time reading
the original patch that made me go "Eww", yes.

Of course, now that it's just a rename patch, it's not like the patch
is all that legible, but yeah, I think the naming is saner.

              Linus