Messages in this thread | | | From | Linus Torvalds <> | Date | Wed, 6 Jun 2018 08:12:18 -0700 | Subject | Re: [git pull] drm for v4.18-rc1 |
| |
On Tue, Jun 5, 2018 at 8:50 PM Dave Airlie <airlied@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
| |