Re: [git pull] drm fixes

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

On Fri, Apr 22, 2016 at 10:23 AM, Daniel Vetter <daniel@ffwll.ch> wrote:
>
> Works all fine here, http, ssh & git protocols all up&running well.
> Maybe temporary, or just your part of the interwebs fell off?

It's up for me now too, so something temporary. I don't think it was
at my end, everything else seemed to work fine and be reachable..

Maybe it was going through a reboot and I was just unlucky with timing.

Linus