Messages in this thread | | | Date | Fri, 22 Apr 2016 10:16:58 -0700 | Subject | Re: [git pull] drm fixes | From | Linus Torvalds <> |
| |
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
| |