On Tue, Jun 5, 2018 at 8:50 PM Dave Airlie <airlied@xxxxxxxxx> 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
_______________________________________________
dri-devel mailing list
dri-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/dri-devel
