Re: [git pull] drm tree for 3.12-rc1