Re: [git pull drm fixes

Pekka Enberg
2011-08-05T10:07:08Z

On Fri, Aug 5, 2011 at 1:04 PM, Dave Airlie <airlied@linux.ie> wrote:
> Okay I hadn't seen Francesco's report of still failing, I've pushed a
> revert on top of that pull,

Thanks Dave.