* Paul E. McKenney | 2013-03-06 13:45:02 [-0800]: >Is this behavior OK? If so, the following (untested) patch might do >what you want. ;-) Paul (Gortmaker) could you please test Paul's (McKenney) to see if it makes things for Joe (Average) easier to spot? Sebastian -- 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
