On Fri, Apr 22, 2016 at 7:16 PM, Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > On Thu, Apr 21, 2016 at 5:57 PM, Dave Airlie <airlied@xxxxxxxx> 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? Works all fine here, http, ssh & git protocols all up&running well. Maybe temporary, or just your part of the interwebs fell off? -Daniel -- Daniel Vetter Software Engineer, Intel Corporation +41 (0) 79 365 57 48 - http://blog.ffwll.ch _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
