On Thu, 2015-02-26 at 11:53 +0100, Sebastian Andrzej Siewior wrote: > 4.0-rt? So you are a time traveler? Nah, I just didn't want to stop at 3.18, so rolled forward to master. When Linus switched to 4.0, I didn't have to do anything other than to change the directory name :) If you're interested, I can tar up the tree and send it to you. It might save you some keyboard time. -Mike -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
