On Sat, 2013-12-28 at 04:30 +0100, Mike Galbraith wrote: > (Less than wonderful changelogs probably comes from the fact that > maintaining -rt out of tree is time consuming as all hell. Everybody > gets to breaks it, a couple guys get to fix it up again and again.) P.S. try rolling your tree forward to master or tip for entertainment, you'll see what I mean. Hi Peter, Rik.. other breakers of worlds :) -- 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
