On Sat, 23 May 2015 10:07:05 +0200 Ingo Molnar <mingo@xxxxxxxxxx> wrote: > > This seems to have slowed down a bit; I've taken the liberty of > > pulling it into the docs tree. [...] > > Please don't, I've got a different structure for it, so that the Git > log becomes a lot more usable. I'll post it after the weekend. OK, fine, dropped. Thanks, jon -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html