Hi Boaz, On Mon, 10 Aug 2015 11:23:12 +0300 Boaz Harrosh <ooo@xxxxxxxxxxxxxxx> 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 sfr@xxxxxxxxxxxxxxxx -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html