Re: [git pull] drm fixes

Linus Torvalds
2016-04-22T17:17:01Z

On Thu, Apr 21, 2016 at 5:57 PM, Dave Airlie <airlied@linux.ie> wrote:
>
> git://people.freedesktop.org/~airlied/linux drm-fixes

Hmm. freedesktop.org seems to be feeling a bit under the weather. It's
not just the git part - it's not doing web either, and doesn't seem to
answer to pings either (I saw _one_ ping response, but that was over a
minute or two, so..)

Can you kick it? Do you have a mirror?

Linus