Hi Boaz, On Mon, 10 Aug 2015 11:23:12 +0300 Boaz Harrosh <o...@electrozaur.com> wrote: > > Perhaps it is time to change servers after all. But I will only > be able to do this after plumbers. > > Yes it looks like the server is dead. It does ping but i'm unable > to ssh into it. > > Please disable this next tree for now, and I will organize a new > server after plumbers week.
OK, I have dropped it for now. -- Cheers, Stephen Rothwell s...@canb.auug.org.au -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
