On Tue, 02 Jul 2013 20:29:02 +1000 Benjamin Herrenschmidt <benh at kernel.crashing.org> 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