On Sat, 27 Feb 2010, Xavier Miller wrote: > Hello, > > The name is -rt4, not -rt3 I pushed out an -rt4 w/o notice in the morning because I forgot to pick up a few trivial fixes for -rt3. Thanks tglx -- 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
