Subject: Re: Please pull 'next' branch of 5xxx tree

From: Anatolij Gustschin <[email-masked]>
Date: Tue, 2 Jul 2013 12:35:49 +0200

On Tue, 02 Jul 2013 20:29:02 +1000
Benjamin Herrenschmidt <[email-masked]> wrote:
...
> > The server should be up, a recent test pull succeeded here. Could you
> > please try again?
> 
> Just a fluke indeed, works now. Pulled & pushed.

Thanks!

Cheers,
Anatolij