[git pull] drm for v4.18-rc1

[Linus Torvalds]

On Tue, Jun 5, 2018 at 8:50 PM Dave Airlie <airlied at gmail.com> wrote:
>
> First up I've moved the drm tree to a new location on freedesktop.org. The main
> reason was to explore using Daniel's maintainer tools (dim-tools) to manage
> pull requests and possibly open the drm to having co-maintainers at the top
> level in the future. If there are any issues in the pull formatting or with the
> hopefully correctly signed tag, let me know.

No problem. As long as I see that it's signed by you, I don't care
where it ends up being.

Everything looked normal.

                  Linus