Hello, Stephen, Could you please make the -next tree pull from branch next.2011.09.12a of https://github.com/paulmckrcu/linux while kernel.org is down? Thanx, Paul PS. If someone knows how to make github delete a branch, please let me know, as this would allow me to use the "rcu/next" nomenclature. Yes, it is probably obvious, but I am new to github... -- 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
